Login / Signup
Transe: An Experimental Transformation Assistant for Digital Circuit Design.
Guy Durrieu
Kamel Kessaci
Michel Lemaître
Published in:
Designing Correct Circuits (1992)
Keyphrases
</>
circuit design
design automation
digital circuits
test bed
databases
transformation rules