The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Quantitative evaluation of formal based synthesis in ASIC design

The work

AuthorsG. Bezzi; Massimo Bombana; P. Cavalloro; Salvatore Conigliaro; G. Zaza
Editors
Typemisc
Year1995
Citekeybezzi1995quantitative

Where it appeared

Published inLecture notes in computer science
PublisherSpringer Science+Business Media
Pages286--291

Identifiers

DOI10.1007/3-540-59047-1_55
OpenAlexW1771962873

Access

Landing pagehttps://doi.org/10.1007/3-540-59047-1_55
Free full texthttps://link.springer.com/content/pdf/10.1007%2F3-540-59047-1_55.pdf

How it got here

How it got hereagent via openalex
Added2026-10-24 10:50 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

lncs

Cite it as

@misc{bezzi1995quantitative,
  title        = {Quantitative evaluation of formal based synthesis in ASIC design},
  author       = {G. Bezzi and Massimo Bombana and P. Cavalloro and Salvatore Conigliaro and G. Zaza},
  year         = {1995},
  journal      = {Lecture notes in computer science},
  publisher    = {Springer Science+Business Media},
  pages        = {286--291},
  doi          = {10.1007/3-540-59047-1_55},
}

This record lives at https://refs.drheap.org/bezzi1995quantitative/ and will keep doing so.