Abstract: We have proposed a top-down design methodology for RSFQ logic circuits using a binary decision diagram (BDD). The BDD is a way to represent a logical function by a directed graph, which ...

This method presents a precise description of UML2.0 sequence diagram. Finally, the example is given to verify the feasibility of this method.