Formal Timing Analysis of Digital Circuits.

Qurat Ul Ain Osman Hasan

Published in: FTSCS (2018)

Keyphrases

digital circuits
analog circuits
data flow
evolvable hardware
model based diagnosis
functional decomposition
information systems
circuit design
finite state machines
formal specification
formal methods
database systems
mathematical theory
pattern matching
formal language
search algorithm
database