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
On the automatic HDL bug identification - MaRDI portal

On the automatic HDL bug identification (Q3379151)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the automatic HDL bug identification
scientific article

    Statements

    title
    On the automatic HDL bug identification (English)
    0 references
    author
    Ming-Chih Lai
    0 references
    Yih-Lang Li
    0 references
    Shyan-Ming Yuan
    0 references
    publication date
    6 April 2006
    0 references
    zbMATH Keywords
    verification
    0 references
    debug
    0 references
    reasoning
    0 references
    inference synthesis
    0 references
    asic design
    0 references
    hardware description
    0 references
    HDL
    0 references
    simulation
    0 references

    Identifiers

    zbMATH DE Number
    5017678
    0 references
    OpenAlex ID
    W2038279357
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3379151&oldid=34866463"
    Powered by MediaWiki