{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:48:18Z","timestamp":1725612498360},"reference-count":14,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2003.1252473","type":"proceedings-article","created":{"date-parts":[[2004,3,30]],"date-time":"2004-03-30T17:17:26Z","timestamp":1080667046000},"page":"43-48","source":"Crossref","is-referenced-by-count":1,"title":["High-level optimization of pipeline design"],"prefix":"10.1109","author":[{"given":"J.P.L.","family":"Campbell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.A.","family":"Day","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"215","article-title":"High-level automatic pipelining for sequential circuits","author":"maria-cristina","year":"2001","journal-title":"The 14th International Symposium on System Synthesis (ISSS)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCL.1998.674160"},{"key":"ref12","first-page":"178","article-title":"Generating netlists from executable functional circuit specifications in a pure functional language","author":"o'donnell","year":"1992","journal-title":"Glasgow Functional Programming Workshop"},{"key":"ref13","article-title":"Pipeline synthesis and optimization of reconfigurable custom computing machines","author":"weinhardt","year":"1997","journal-title":"Technical Report iratr-1997–1"},{"key":"ref14","first-page":"272","article-title":"SATO: an efficient propositional prover","author":"zhang","year":"1997","journal-title":"Conference on Automated Deduction volume 1249 of LNAI"},{"key":"ref4","article-title":"Linear Programming and Extensions","author":"dantzig","year":"1963","journal-title":"Rand Corporation"},{"key":"ref3","first-page":"488","article-title":"Fast specification of cycle-accurate processor models","author":"sheng-ho","year":"2001","journal-title":"IEEE International Conference on Computer Design"},{"article-title":"Get2chip describes pipeline synthesis advances","year":"2001","author":"goering","key":"ref6"},{"key":"ref5","first-page":"126","article-title":"Combining stream-based and state-based verification techniques for microarchitectures","author":"day","year":"2000","journal-title":"Formal Methods in Computer-Aided Design volume 1954 of Lecture Notes In Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379071"},{"key":"ref7","article-title":"Computer Architecture","author":"hennessy","year":"2003","journal-title":"A Quantitative Approach"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2003.1252473"},{"key":"ref1","first-page":"68","article-title":"Automatic verification of pipelined microprocessor control","author":"jerry","year":"1994","journal-title":"Computer-Aided Verification volume 818 of Lecture Notes In Computer Science"},{"key":"ref9","first-page":"655","article-title":"High-level specifciation and efficient implementation of pipelined circuits","author":"maria-cristina","year":"2001","journal-title":"Proc Asia and South Pacific Design Automation Conference ASP-DAC'"}],"event":{"name":"Eighth IEEE International High-Level Design Validation and Test Workshop","acronym":"HLDVT-03","location":"San Francisco, CA, USA"},"container-title":["Eighth IEEE International High-Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8873\/28031\/01252473.pdf?arnumber=1252473","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T20:56:37Z","timestamp":1489438597000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1252473\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2003.1252473","relation":{},"subject":[]}}