Functional Verification - All Comments

Observations From This Autumn's Events - Functional Verification - Cadence Community

Wed, 18 Nov 2009 15:20:18 GMT

Pingback from Observations From This Autumn's Events - Functional Verification - Cadence Community

IntelliGen Lab Now Live on Xuropa - See What You Are Missing!

Functional Verification — Tue, 10 Nov 2009 17:03:22 GMT

Team Specman guesstimates that a majority of users have migrated to "IntelliGen" -- the all

IntelliGen Lab Now Live on Xuropa - See What You Are Missing!

Functional Verification — Tue, 10 Nov 2009 17:03:21 GMT

Team Specman guesstimates that a majority of users have migrated to "IntelliGen" -- the all

IntelliGen Lab Now Live on Xuropa - See What You Are Missing!

Functional Verification — Tue, 10 Nov 2009 17:03:20 GMT

Team Specman guesstimates that a majority of users have migrated to "IntelliGen" -- the all

IntelliGen Lab Now Live on Xuropa - See What You Are Missing!

Functional Verification — Tue, 10 Nov 2009 17:03:19 GMT

Team Specman guesstimates that a majority of users have migrated to "IntelliGen" -- the all

IntelliGen Lab Now Live on Xuropa - See What You Are Missing!

Functional Verification — Tue, 10 Nov 2009 17:03:18 GMT

Team Specman guesstimates that a majority of users have migrated to "IntelliGen" -- the all

IntelliGen Lab Now Live on Xuropa - See What You Are Missing!

Functional Verification — Tue, 10 Nov 2009 17:03:17 GMT

Team Specman guesstimates that a majority of users have migrated to "IntelliGen" -- the all

IntelliGen Lab Now Live on Xuropa - See What You Are Missing!

Functional Verification — Tue, 10 Nov 2009 17:03:16 GMT

Team Specman guesstimates that a majority of users have migrated to "IntelliGen" -- the all

IntelliGen Lab Now Live on Xuropa - See What You Are Missing!

Functional Verification — Tue, 10 Nov 2009 17:03:15 GMT

Team Specman guesstimates that a majority of users have migrated to "IntelliGen" -- the all

I'm honored to be hi ...

Adam Sherilog — Wed, 04 Nov 2009 02:50:50 GMT

I'm honored to be hijacked!

Don't apologize Adam ...

Anonymous — Wed, 04 Nov 2009 00:05:38 GMT

Don't apologize Adam. It is great to see that teams can rally around a common cause. I had to hijack this blog for techbites.

Hey Joe, Thanks f ...

Adam Sherilog — Tue, 03 Nov 2009 20:12:52 GMT

Hey Joe,

Thanks for the props. If anyone wants to track this Waldo during the winter, I've done 10mi dead-reckoning in the dark through Shanghi, 16mi on icy paths along the Isar in Munich, 18mi across Yokohama before a flight home, and even 16mi and 2000ft of climbing in Alum Rock Park before a DVCon workshop. I can tell you from experience, this blog is on the money. Like verification, all that training comes down to race day when you put it all out to finish successfully. We live for those 15 minutes of glory and then we do it again!

=Adam

@SeeAdamRun

4 minute Demo: OVM e Compliance Checks Added to AMIQ's DVT

Functional Verification — Wed, 28 Oct 2009 15:05:03 GMT

Specmaniacs rejoice: long time Verification Alliance partner AMIQ has just added OVM e compliance checking

Specman/IES-XL 9.2 Is Posted - Come And Get It!

Functional Verification — Thu, 22 Oct 2009 21:10:41 GMT

We interrupt the Specman 9.2 preview series and ClubT news to announce that 9.2 is now posted on downloads

Specman's Reflection ...

Anonymous — Thu, 08 Oct 2009 10:49:21 GMT

Specman's Reflection API are generatlly not usefull for the USER's But it is really nice to see the internal fields/struct/method extension. You don't need to go inside the files to see the fileds / methods-method extension etc... Really Nice..

Try out the below example You will really love then...

unit pankaj_u {

pankaj_u_1:uint;

pan() is { };

pan() is first { };

pan() is also { };

pan() is only { };

pan() is also { };

};

extend sys{

print_user_modules() is {

for each (m) in rf_manager.get_user_modules() do {

outf("module - %s\n",m.get_name());

for each (tl) in m.get_type_layers() do {

if tl is a rf_struct_layer (sl) {

outf("struct layer - %s\n",

sl.get_defined_entity().get_name()

);

for each (fd) in sl.get_field_declarations() do {

outf("\t\t field declaration - %s\n",

fd.get_defined_entity().get_name()

);

};

for each (ml) in sl.get_method_layers() do {

outf("\t\t method layer - %s(%s)\n",

ml.get_defined_entity().get_name(),

ml.as_a(rf_method_layer).get_extension_mode().

to_string()

);

};

init() is also {

print_user_modules();

};

OUTPUT:

module - rf_aspect

struct layer - pankaj_u

field declaration - pankaj_u_1

method layer - pan(is)

method layer - pan(first)

method layer - pan(also)

method layer - pan(only)

method layer - pan(also)

struct layer - sys

method layer - init(also)

method layer - print_user_modules(is)

Thanks,

Pankaj Patel.