A high performance delay calculation software system for MOSFET digital logic chips.

Ants Koppel Siddharth Shah Prem Puri

Published in: DAC (1978)

Keyphrases

computer systems
software development
software systems
high end
high speed
chip design
software design
modal logic
software tools
phase locked loop
software maintenance
software components
logic programming
temporal logic
logical framework
end to end
source code