The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

The DUAL-EVAL hardware description language and its use in the formal specification and verification of the FM9001 microprocessor

The work

AuthorsWarren A. Hunt; Bishop C. Brock
Editors
Typemisc
Year1995
Also known ashunt2002dualeval
Citekeyhunt1995dualeval

Where it appeared

Volume408
Pages637--642

Identifiers

DOI10.1109/aspdac.1995.486381
OpenAlexW3180949432

Access

Landing pagehttps://doi.org/10.1109/aspdac.1995.486381

Related

Distinct frombrock1997dualeval

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

We present an introduction to the DUAL-EVAL hardware description language. DUAL-EVAL is a hierarchical, occurrence-oriented simulator for synchronous Mealy machines. We briefly describe the FM9001 microprocessor, whose design has been formally specified with the DUAL-EVAL language and mechanically proved correct with respect to a behavioral specification. The FM9001 has been fabricated as a CMOS ASIC and tested extensively.

How it got here

How it got hereagent via openalex
Added2026-10-26 04:40 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{hunt1995dualeval,
  title        = {The DUAL-EVAL hardware description language and its use in the formal specification and verification of the FM9001 microprocessor},
  author       = {Warren A. Hunt and Bishop C. Brock},
  year         = {1995},
  volume       = {408},
  pages        = {637--642},
  doi          = {10.1109/aspdac.1995.486381},
}

This record lives at https://refs.drheap.org/hunt1995dualeval/ and will keep doing so. It used to be called hunt2002dualeval, and those addresses still resolve to this one.