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.
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 Language
Wendell C. Baker; December 1992. Also available in hardcopy as a UCB ERL memo.

Last Updated 5/12/94.
service entrance.

Comments and questions can be addressed to webmaster at embedded eecs berkeley edu
You are not logged in 
Contact 
©2002-2017 U.C. Regents