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:3999357

Jump to:navigation, search

zbMath0743.68033MaRDI QIDQ3999357

No author found.

Publication date: 17 September 1992

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

zbMATH Keywords

verification optimization VLSI design VLSI implementation formal models Formal methods hardware description language register transfer level

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Circuits, networks (94C99) Theory of computing (68Q99)

Related Items (4)

Bicategories of processes ⋮ Abstraction of hardware construction ⋮ Algebraic models of microprocessors architecture and organisation ⋮ Towards an energy complexity of computation

This page was built for publication:

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