Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:4004176

Jump to:navigation, search

zbMath0757.68051MaRDI QIDQ4004176

Brian T. Graham

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hardware verification design and verification of complex integrated circuits SECD chip architecture

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Applications of graph theory to circuits and networks (94C15)

Related Items

Gordon's computer: A hardware verification case study in OBJ3 ⋮ Computer assisted reasoning. A Festschrift for Michael J. C. Gordon ⋮ Algebraic models of correctness for abstract pipelines. ⋮ Algebraic models of microprocessors architecture and organisation ⋮ Set theory for verification. I: From foundations to functions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4004176&oldid=17700322"