Login / Signup
ESP: An Executable Specification Language for Mixed Timing Control Circuits.
Tam Anh Chu
Huy T. Cao
Clement K. C. Leung
Published in:
CHDL (1993)
Keyphrases
</>
specification language
formal specification
control system
programming language
description language
model checking
symbolic execution
requirements specification
high speed
software environment
asynchronous circuits
object oriented
fine grained
reverse engineering
control structure
high level synthesis