The DE Language

  • Warren A. HuntJr.
Part of the Advances in Formal Methods book series (ADFM, volume 4)


DE is an occurrence-oriented description language that permits the hierarchical definition of finite-state machines in the style of a hardware description language. Using ACL2 we have formally defined the DE language. Recognizers for the language are defined. The semantics of the DE language is given by a simulator that, given the current inputs and current state for a module, will compute the module's current outputs and the next state. Our purpose in defining DE is to make the specification of a circuit description as clear as the finite-state languages often used by state-machine exploration algorithms.


Hardware Description Language State Argument Module Reference Module Definition Circuit Description 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Warren A. HuntJr.
    • 1
  1. 1.IBM Austin Research LaboratoryAustinUSA

Personalised recommendations