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
Implementation issues about the embedding of existing high level synthesis algorithms in HOL - MaRDI portal

Implementation issues about the embedding of existing high level synthesis algorithms in HOL

From MaRDI portal

Publication:6567710

Jump to:navigation, search

DOI10.1007/bfb0105403zbMath1543.68205MaRDI QIDQ6567710

Ramayya Kumar, Dirk Eisenbiegler, Christian Blumenröhr

Publication date: 5 July 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Implementation issues about the embedding of existing high level synthesis algorithms in HOL

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