The DE Language
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.
KeywordsHardware Description Language State Argument Module Reference Module Definition Circuit Description
Unable to display preview. Download preview PDF.