FORMAL DESCRIPTION OF THE FUNCTIONAL-BEHAVIOR OF RSFQ LOGIC-CIRCUITS FOR DESIGN AND OPTIMIZATION PURPOSES

For being used in the design of Rapid Single Flux Quantum (RSFQ) circu its in a multi-purpose manner, we developed a systematic and consisten t approach for modeling the nominal circuit behavior using hardware de scription languages. We are presenting a method for establishing evalu ation criteria for the circuit's behavior which can directly be used i n the input for circuit simulation and serve as a behavioral reference in yield-driven optimization cycles. Furthermore, this behavioral mod eling technique allows for mixed-mode simulation with its advantages o f both analysis speed-up and error localization. Finally, we demonstra te the application in high-level circuit synthesis which will be neces sary to manage complex design problems.