Subject: [sv-ac] An opinion on convenience requirements
From: Prakash Narain (prakash@realintent.com)
Date: Thu Sep 12 2002 - 12:33:23 PDT
We are considering a number of requirements to make assertion writing
more convenient. We are looking to make it easier to specify clocks/resets/
etc. for assertions. We are looking to provide short forms of often used
constructs.
At the same time opinions have been expressed that such requirements,
sometimes, conflict with other virtues like modularity etc.
Just to have some more discussion on the matter, I will make a controversial
statement:
"We should vote for shortcuts, accept/reject from contexts out of
assertions,
convenient ways of specifying clocks/reset/etc., ability to refer to a
group of
assertions, etc. at the expense of sacrificing modularity. That is because
convenience of writing assertions will play an important role in adoption."
Best Regards,
Prakash
This archive was generated by hypermail 2b28 : Thu Sep 12 2002 - 12:37:16 PDT