114 questions
2
votes
0
answers
114
views
The captive portal only fails on Android
The captive portal only fails to trigger on Android. When I connect from macOS, the portal opens automatically and loads the root HTML page as expected. On Android, I can see proper DNS and HTTP ...
- 21
0
votes
2
answers
153
views
keep has_each for a list in Specman
I am trying to create a keep with this functionality:
extend sys {
ListA : list of uint;
keep ListA.size() == 3; // For the example
keep for each in ListA { // For the example
it &...
- 1
0
votes
1
answer
88
views
Constrain a Specman list so it doesn't have identical values in consecutive elements
I want to generate list in Specman from a limited range and ensure that no two consecutive entries in the list have the same value so these would be OK
[1,0,1,0,1,0,1]
[2,1,3,1,3,2,1]
[100, 22, 50, 62,...
- 1,618
0
votes
1
answer
84
views
Copying Lists using Keeps in Specman
Currently if I want to generate an identical list to a previously generated one in Specman e I use:
<'
struct A {
ListA : list of uint;
keep ListA.size() == 5;
keep ListA.sum(it) <= ...
- 1
0
votes
1
answer
277
views
Generating a list in Specman with at least one of each enum
If I have:
<'
type MyEnum : [A1, B2, C3, D4, E5];
extend sys {
ListA : list of MyEnum;
keep ListA.size() == 10; // Just for the example,
// point being that ...
- 1
0
votes
1
answer
100
views
How to type cast a list of uint to a list of vr_ahb_data in Specman?
I have A which is a list of uint(bits:20) and B which is a list of vr_ahb_data. I also have a method that takes in 2 lists of vr_ahb_data and compares each item between the two lists.
type vr_ahb_data ...
- 163
1
vote
1
answer
149
views
field started with % in struct in Specman
I am new to Specman, just don't know what the "%" prefix of a field in struct mean?
for example, the codes below.
struct packet_s like any_sequence_item {
%addr : uint(bits: 2);
%data :...
- 11
1
vote
2
answers
164
views
What is the difference between deep_copy and gen keeping in Specman?
can someone tell me what is the difference between coping one transaction(item) to the another like in examples bellow (add_method_port_1 and add_method_port_2):
add_method_port_1 (added_item: item_s) ...
-7
votes
3
answers
159
views
Pre-compile textual replacement macro with arguments
I am trying to create some kind of a dut_error wrapper. Something that will take some arguments and construct them in a specific way to a dut_error.
I can't use a method to replace the calls to ...
- 19.6k
1
vote
2
answers
387
views
Specman : how to constraint a list to be all iterations of a variable but not only?
I've defined the following struct :
struct my_struct {
var_a : bit;
var_b : bit;
};
In another struct, I've instantiated a list of this struct :
struct another_struct {
my_list : list ...
- 11
0
votes
1
answer
167
views
What is difference between assignment with and without bit selector? (e/Specman)
I'm coding in e (Specman) programming language. If I want to assign integer variable with constant, what is the difference if I use bit selector (selecting all 32 bits) or not?
I wanted to assign ...
0
votes
2
answers
446
views
Specman e: Can delay() get a variable as an input with time unit?
I try to pass a variable with time unit to the delay() temporal expression:
var bla : real = 0.1;
wait delay (bla ns);
And get the next error:
*** Error: Unrecognized exp
[Unrecognized ...
- 1,493
1
vote
3
answers
456
views
Specman e: Is there a way to know how many values there is in an enumerated type?
I need to know how many values there is in an enumerated type in my verification environment. E.g.:
type my_type: [a, b, c, d];
I there a way to check on the fly that there 4 different values in the ...
- 1,493
0
votes
1
answer
146
views
Specman e error: No match for file when using "for each line in file"
I have a my_text.txt file and the next e file in the same directory:
extend my_unit {
run() is also {
for each line in file "my_text.txt" do {
// ...
};
};
};
I ...
- 1,493
0
votes
1
answer
353
views
How to compare each bits of a 32 bits number with another 32 bits number?
I am thinking compare each bits of a 32 bits number with another 32 bits number.
eg. check that ins.dout_1 == (ins.din1_1 + ins.din2_1)
Which dout_1, din1_1 and din2_1 are all unsigned integer of ...
