{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T20:18:51Z","timestamp":1772569131626,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.1109\/dac18072.2020.9218553","type":"proceedings-article","created":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T19:57:03Z","timestamp":1602273423000},"page":"1-6","source":"Crossref","is-referenced-by-count":24,"title":["Creating an Agile Hardware Design Flow"],"prefix":"10.1109","author":[{"given":"Rick","family":"Bahr","sequence":"first","affiliation":[]},{"given":"Clark","family":"Barrett","sequence":"additional","affiliation":[]},{"given":"Nikhil","family":"Bhagdikar","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Carsello","sequence":"additional","affiliation":[]},{"given":"Ross","family":"Daly","sequence":"additional","affiliation":[]},{"given":"Caleb","family":"Donovick","sequence":"additional","affiliation":[]},{"given":"David","family":"Durst","sequence":"additional","affiliation":[]},{"given":"Kayvon","family":"Fatahalian","sequence":"additional","affiliation":[]},{"given":"Kathleen","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Pat","family":"Hanrahan","sequence":"additional","affiliation":[]},{"given":"Teguh","family":"Hofstee","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Horowitz","sequence":"additional","affiliation":[]},{"given":"Dillon","family":"Huff","sequence":"additional","affiliation":[]},{"given":"Fredrik","family":"Kjolstad","sequence":"additional","affiliation":[]},{"given":"Taeyoung","family":"Kong","sequence":"additional","affiliation":[]},{"given":"Qiaoyi","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Makai","family":"Mann","sequence":"additional","affiliation":[]},{"given":"Jackson","family":"Melchert","sequence":"additional","affiliation":[]},{"given":"Ankita","family":"Nayak","sequence":"additional","affiliation":[]},{"given":"Aina","family":"Niemetz","sequence":"additional","affiliation":[]},{"given":"Gedeon","family":"Nyengele","sequence":"additional","affiliation":[]},{"given":"Priyanka","family":"Raina","sequence":"additional","affiliation":[]},{"given":"Stephen","family":"Richardson","sequence":"additional","affiliation":[]},{"given":"Raj","family":"Setaluri","sequence":"additional","affiliation":[]},{"given":"Jeff","family":"Setter","sequence":"additional","affiliation":[]},{"given":"Kavya","family":"Sreedhar","sequence":"additional","affiliation":[]},{"given":"Maxwell","family":"Strange","sequence":"additional","affiliation":[]},{"given":"James","family":"Thomas","sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Torng","sequence":"additional","affiliation":[]},{"given":"Leonard","family":"Truong","sequence":"additional","affiliation":[]},{"given":"Nestan","family":"Tsiskaridze","sequence":"additional","affiliation":[]},{"given":"Keyi","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","article-title":"How Much Will That Chip Cost?","author":"Sperling","year":"2014"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462176"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"ref4","article-title":"Magma github","author":"Hanrahan"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2684746.2689092"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2018.8465576"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45234-8_7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2012.51"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3079856.3080256"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2016.7783755"},{"key":"ref11","first-page":"578","article-title":"TVM: An automated end-to-end optimizing compiler for deep learning","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation","author":"Chen"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3178487.3178493"},{"key":"ref13","article-title":"Invoking and linking generators from multiple hardware languages using coreir","author":"Daly","year":"2018"},{"key":"ref14","article-title":"The Satisfiability Modulo Theories Library (SMT-LIB)","author":"Barrett","year":"2016"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1476936.1476993"},{"key":"ref16","first-page":"309","article-title":"Hydra: hardware description in a functional language using recursion equations and high order combining forms","author":"O\u2019Donnell","year":"1988","journal-title":"The Fusion of Hardware Design and Verification"},{"key":"ref17","article-title":"fault","author":"Truong","year":"2020"}],"event":{"name":"2020 57th ACM\/IEEE Design Automation Conference (DAC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2020,7,20]]},"end":{"date-parts":[[2020,7,24]]}},"container-title":["2020 57th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9211868\/9218488\/09218553.pdf?arnumber=9218553","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T01:25:53Z","timestamp":1706059553000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9218553\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/dac18072.2020.9218553","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}