Behavioral Specification of a Circuit Using SyncCharts: A Case Study.

Charles André Marie-Agnès Peraldi-Frati

Published in: EUROMICRO (2000)

Keyphrases

high speed
circuit design
data sets
asynchronous circuits
digital circuits
test bed
formal specification
analog circuits
formal methods
high level
case study
real time
human behavior
specification language
fault diagnosis
neural network
reactive systems
temporal ordering