Specification of synchronous sequential circuits using SDL and ObjectGEODE.

Published in: Comput. Stand. Interfaces (2002)

Keyphrases

asynchronous circuits
high level
circuit design
delay insensitive
analog vlsi
expert systems
specification language
sequential search
neural network
real world
high speed
formal specification
formal verification
digital circuits
asynchronous communication