Checking and deriving module paths in Verilog cell library descriptions

M. Raffelsieper, M.R. Mousavi, C. Strolenberg

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)


    Module paths are often used to specify the delays of cells in a Verilog cell library description, which define the propagation delay for an event from an input to an output. Specifying such paths manually is an error prone task; a forgotten path is interpreted as a zero delay, which can cause further flaws in the subsequent design steps. Moreover, one can specify superfluous module paths, i.e., module paths that can never occur in any practical run of the model and hence, make excessive restrictions on the subsequent design decision. This paper presents a method to check whether the given module paths are reflected in the functional implementation. Complementing this check, we also present a method to derive module paths from a functional description of a cell.
    Original languageEnglish
    Title of host publicationDesign, Automation and Test in Europe Conference & Exhibition 2010 (DATE'10, Dresden, Germany, March 8-12, 2010)
    PublisherInstitute of Electrical and Electronics Engineers
    ISBN (Print)978-398108016-2
    Publication statusPublished - 2010


    Dive into the research topics of 'Checking and deriving module paths in Verilog cell library descriptions'. Together they form a unique fingerprint.

    Cite this