GASTIM: A timing analyzer for GaAs digital circuits.
Antonio HernándezLuis GómezAntonio NúñezPublished in: EURO-DAC (1993)
Keyphrases
- digital circuits
- data flow
- analog circuits
- circuit design
- evolvable hardware
- injection lasers
- model based diagnosis
- finite state machines
- gallium arsenide
- functional decomposition
- data acquisition
- room temperature
- relational databases
- efficient computation
- mixed signal
- decision diagrams
- metadata
- model checking
- high speed
- lower bound
- optimal solution