|looking for assertion language for instruction set verification firstname.lastname@example.org (Alan Lehotsky) (2000-03-06)|
|Re: looking for assertion language for instruction set verification email@example.com (2000-03-06)|
|From:||firstname.lastname@example.org (Norman Ramsey)|
|Date:||6 Mar 2000 23:51:25 -0500|
Alan Lehotsky <email@example.com> wrote:
>Summary: I'm looking for existing research on an assertion language
> suitable for testing an instruction set architecture.
I've been interested in a similar problem for some time, but I haven't
gotten anywhere. If you're curious about the work, you can check out
http://www.cs.virginia.edu/zephyr/csdl/lrtlindex.html. You might also
check out http://www.eecs.harvard.edu/~nr/pubs/checker-abstract.html
for some ideas on automatic generation of test *cases* (but *lacking*
>I'd like to augment this with another set of statements that would
>make assertions about the pre and post-conditions that are relevant
>to the instruction. These statements would be used to automatically
>generate test programs.
There might be some leverage in some more recent unpublished work I'm
doing, e.g., the algebraic laws mentioned in
I'd be delighted to talk with you on the phone about some of these
Return to the
Search the comp.compilers archives again.