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 paper proposes first- order logic for formal modeling UML class diagrams and resolution for verification. We introduce formal definition and semantics for classes, their attributes, and ...