Publications about the Non-Deterministic Abstract Machine
- Translation of
The Common Formats of the Synchronous Languages
From the French Les formats communs des langages
synchrones; Paris, Berry, Mignard, Couronne, Caspi,
Halbwachs, Sorel, Benveniste, Gautier, Le Guernic, Dupont, Le
Maire; INRIA No 157; June 1993.
- Qualifying Exam; December 2 1993.
- First proposal talk
- First proposal
- Second proposal
On Interfacing Existing Hardware Description Languages to
State-Space Exploration-Based Verification
Wendell C. Baker; June 1993.
An Application of a Synchronous/Reactive Semantics to the VHDL
Wendell C. Baker; December 1992.
Also available in hardcopy as a UCB ERL memo.
Last Updated 5/12/94.
Comments and questions can be addressed to
webmaster at embedded eecs berkeley edu