cristian_slav_ifb Imported from Blogger

One thing that I use to make my “as computed” code more readable is this:

var los : list of string = <<#:
{
var static_triangles := driver.addr_map.get_regs_by_kind(TRIANGLE);
assert <(idx)> in [0…static_triangles.size() - 1];
<(operation)> { .static_item == static_triangles[<(idx)>] } <(reg)> <(block)>;
};
end #;

1 reply

TudorTimi Verification Gentleman

That looks pretty clean. I guess <<# means treat every line as string from now on and <(reg)> means replace this block with the value of ‘reg’, am I right?

Could you point us out to where we can find this syntax in the documentation?

cristian_slav_ifb Imported from Blogger

Hi Tudor,

you can search in documentation after “Inline Text Expansion”. In INCISIV 14.10 you will get a relevant result in “Specman Deprecation and Backwards Compatibility” document where Cadence presents some changes to this syntax.

Other then this, it looks like they did not documented this syntax anywhere else.

Best regards,
Cristi