Stack Overflow
Stack Overflow

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
0
votes
4 answers

Specman memory configuration

I have a server with 20GB of RAM available. I need to run a regression with Specman, and wish to optimize it, to run at least 5 tests in parallel. I know my RTL needs a static 2GB memory size, but testbench size varies. How can I control Specman,…
Marat
  • 175
  • 2
  • 6
0
votes
2 answers

best way to sum list items in e/Specman

I created a list of structs and I like to sum the value of a field in each struct that satisfied a specific condition. For example: struct packet { val:int; cond:bool; }; l:list of packet; When I write the following: keep…
user3631539
  • 1
0
votes
4 answers

How can I solve endless backtracks in IntelliGen

I wrote the following code: struct packet { x:int; y:int; x >= 0 => y==1; x < 0 => y==2; }; While it solved very fast in Specman, for some seeds the Gen Debugger shows that the generator tries to assign y to values different than 1…
Semadar
  • 105
  • 6
0
votes
3 answers

How can I connect SV checker to vr_ad

I am to integrate a checker implemented in SystemVerilog, to a mostly e verification environment. How can this SV checker connect to my vr_ad? Or should I implement the registers model also in SV?
Semadar
  • 105
  • 6
0
votes
6 answers

Does specman support checking severity reduction today?

I am currently developing my own e-UVC and completed implementing checking monitor. Overall my environment is not mature and while running my tests, I would like to silence my checkers since I expect the failures yet would like to run the tests any…
Semadar
  • 105
  • 6
0
votes
7 answers

How can we improve our compilation flow with Specman?

We are working on a large design, for which the verification environment is complex. It contains 5 internal VIPs ( 3 of them we own and debug, doing minor changes and tweaks), CDNS unipro VIP and a low level services package we uses for all of our…
Semadar
  • 105
  • 6
0
votes
1 answer

Specman - how to perform sub-type multi-extend, also for different kinds of sub-types

I want to achieve the following functionality: extend RED GREEN BLUE packet {...} this line will cause the struct members in the curly brackets, to be added to all the specified subtypes of a certain enumerated type. the result will look like…
user3444042
  • 21
  • 3
0
votes
3 answers

Extending list pseudo methods in Specman

Is there a way I could extend the given pseudo methods for lists in e, to add some specific implementation? Thanks
user3488810
  • 1
0
votes
2 answers

What is 'cycle' in specman events

I have stumbled upon e code written like that: event a is cycle @b; Removing the 'cycle' from this event, made no difference in behavior. What is the meaning of cycle here? Thanks
user3488810
  • 1
0
votes
2 answers

Keeping history in Specman prompt

When I use Specman GUI, I can use back arrow to browse history of the commands given. Is there a way to get the same functionality when I'm not using GUI (from unix shell for example)? Thanks
user3480394
  • 1
0
votes
1 answer

how can i know if i am using specman 64/32 bit during runtime

I want to write some e code that is conditioned by the used specman architecture (64/32 bit). What i need will look like: if (specman 64 bit) { do something } else { do something else…
yuvalg
  • 331
  • 1
  • 6
0
votes
3 answers

Is there a way to change Specman's log file through the Specman Console?

While debugging with Specman i need to change the log file, which is specman.elog in default. is there a way to change Specman's log file via the console?
Raz
  • 175
  • 5
0
votes
3 answers

an editor for specman

I started working with specman recently and I am looking for a good editor for my code. I am used to working with vi and Emacs - if there is any add-on that can help with one of those, that would be great. Thanks.
user3334694
  • 9
  • 1
0
votes
1 answer

what is the IDE for using SPECMAN

I have been searching for what IDE to use in order to start studying SPECAMAN. I would like to know what is the IDE for e/specman and where I can download it ? Also if there is a good tutoriaal for it. Thanks in advance.
user1941008
  • 373
  • 3
  • 6
  • 13
0
votes
2 answers

randc in specman

How do you generate "randc" kind of implementation using gen in specman? Example: list_l : list of uint(bits:3); keep list_1.size () == 8; I want to generated in such a way that all the elements of the list should have the random no between (0 -7).
user2021736
  • 11
1 2 3
…
17
18