Questions tagged [specman]

Specman is a simulator for `e` (IEEE 1647), an Aspect Oriented Programming (AOP) hardware verification language that enables constrained-random stimulus generation and coverage.

Specman is and EDA tool from Cadence Design Systems that provides an environment for working with, compiling, and debugging testbench environments written in the e language. See also

http://www.cadence.com/products/fv/enterprise_specman_elite

261 questions
2
votes
2 answers

Specman reflection: How to get the value of simple port, when its name is given as a string?

I need to get the value of a simple port, while the only information I have is the port's name (as a string). Something like this: my_meth(port_type : string) is { //e.g.: port_type = "signal_map.some_port$" var rf_port_val : rf_value_holder =…
Halona
  • 1,475
  • 1
  • 15
  • 26
2
votes
2 answers

How can i tell specman to terminate the test after 5 dut_erros

I need to specify to specman a maximal amount of dut_errors in the test, which after that limit the test should be terminated. Currently i have the option to terminate the test when an error accord or never.
Kamil.Khoury
  • 210
  • 2
  • 9
2
votes
1 answer

What's the difference between to_string() and as_a(string) in specman?

In Specman I can convert a variable to a string using either: x.to_string(); or x.as_a(string); Is there any difference between the two? If not, why does Specman provide both?
Nathan Fellman
  • 122,701
  • 101
  • 260
  • 319
2
votes
1 answer

PUSH_MODE vs PULL_MODE in Specman BFM?

In which scenario , we would normally go with PUSH_MODE? PULL_MODE interaction is normally recommended one and but I want to know in which scenario or condition we should go with PUSH Mode? Thanks,
2
votes
2 answers

What is the difference between Specman's pointers and instances?

What is the difference between a pointer and an instance in struct. How do you instantiate an instance and pointer in struct? How do you connect a pointer? Can anyone explain with an example?
1
vote
1 answer

Specman / E "UML like" took tool to generate a Class diagram. Do you know?

I am looking for a tool that can generate Class diagram (UML style) of specman / E programming language. I search in the web and couldn't find any. Does anyhow have some insight on this matter? Thanks
NirMH
  • 4,769
  • 3
  • 44
  • 69
1
vote
1 answer

splitting a string into a list in specman

Supposing I have a string: str = “ab,cd,ef” and I want to split it into a list lst = [“ab”,”cd”,ef”] How can I do it best, assuming that I don’t know ahead of time how many items are in the string? Basically I'm looking for a specman equivalent…
Nathan Fellman
  • 122,701
  • 101
  • 260
  • 319
1
vote
1 answer

Peculiar error for transition coverage

Hi all, I am facing a strange error message while debugging a code for functional coverage specifically transition coverage.There are two level pins for fifo1 and fifo2 respectively while doing coverage for the first level pin ie level1…
smashash
  • 37
  • 2
1
vote
2 answers

does specman have static variables?

I have the following code in specman that I inherited: some_method() is { var a: bool; if (!a) { a = some_other_method(); }; }; My understanding is that each time some_method() is called, a is generated anew, and there's no…
Nathan Fellman
  • 122,701
  • 101
  • 260
  • 319
1
vote
1 answer

specman Temporal checking

Going through the slides on temporal expressions, I came across this statement: expect @buffer_full_e => eventually @int_e @clock_e else dut_error( “After the buffer was filled,an interrupt never occurred.”); What is the significance of…
smashash
  • 37
  • 2
1
vote
2 answers

Returning an array in Specman

How do I return an array from a method call in Specman? E.g. method a : list of uint is { var data: list of uint; ..... result = data; }; extend sys { var data_sys: list of uint; run() is also { data_sys = a(); }; }; My print out…
IhaveQ
1
vote
2 answers

Specman-e usage of try { };

I would like to know what the keyword try is used for in Specman and especially its usage in the code snippet given below: try { unpack(packing.low,lob,pkt); } else{ message(LOW, “Uh-oh!”){print lob using HEX;}; message(LOW,”bad…
smashash
  • 37
  • 2
1
vote
3 answers

Retrieving variable name in order to print them in specman

I wish to do the following in Specman: my_task() is { var my_var : int; my_var = 5; message(LOW,appendf("%s=[%d]",my_var.to_name(),my_var)); }; Currently, I'm in search of the internal task to_name(). I do not want to create a struct for…
max krumer
  • 11
  • 1
1
vote
1 answer

SystemVerilog equivalent for specman's sys.tick_end

I have a System Verilog code that does checking based on a reference model. The ref model is updated by several analysis ports (in a monitor) in parallel, and also being read by my checker. The shared ref model holds many data objects and the…
1
vote
1 answer

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 : list of byte; ... }; What's the difference if we…
Chad Tsai
  • 11
  • 1
1 2
3
17 18