hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Checking and deriving module paths in Verilog cell library descriptions
CS Dept., TU/Eindhoven, Eindhoven, Netherlands.
CS Dept., TU/Eindhoven, Eindhoven, Netherlands.ORCID iD: 0000-0002-4869-6794
Fenix, Eindhoven, Netherlands.
2010 (English)In: Design, Automation and Test in Europe Conference & Exhibition 2010 (DATE’10, Dresden, Germany, March 8-12, 2010), Los Alamitos, Calif.: IEEE Computer Society, 2010, 1506-1511 p.Conference paper, Published paper (Refereed)
Abstract [en]

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. © 2010 EDAA.

Place, publisher, year, edition, pages
Los Alamitos, Calif.: IEEE Computer Society, 2010. 1506-1511 p.
Series
Design, Automation, and Test in Europe Conference and Exhibition. Proceedings, ISSN 1530-1591
Keyword [en]
Cell library, Design decisions, Design steps, Error prone tasks, Propagation delays, Verilog, Zero delay
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-20517DOI: 10.1109/DATE.2010.5457050Scopus ID: 2-s2.0-77953097393ISBN: 978-398108016-2 OAI: oai:DiVA.org:hh-20517DiVA: diva2:584494
Conference
Design, Automation and Test in Europe Conference & Exhibition 2010, Dresden, Germany, March 8-12, 2010
Available from: 2013-01-09 Created: 2013-01-08 Last updated: 2014-11-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 67 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf