2026-09-23T12:39:34Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/81962 2023-07-11 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Rajesh K. Gupta Li, Jian 2015-09-25T20:21:12Z 2015-09-25T20:21:12Z 10000-01-01 1999 1999 The TDT model semantics and transformations have been implemented in a tool called PUMPKIN. Using PUMPKIN a designer can analyze, apply assertions, and restructure HDL code. PUMPKIN has been used on a set of high-level synthesis benchmarks leading to improvements of 3%--15% in synthesis results. Made available in DSpace on 2015-09-25T20:21:12Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 9953078.pdf: 5704081 bytes, checksum: e016861e76fb3ba5cf8042e8106f284b (MD5) Previous issue date: 1999 Embargo set by: Seth Robbins for item 83243 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs U of I Only 125 p. Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1999. http://hdl.handle.net/2142/81962 (MiAaPQ)AAI9953078 eng Engineering, Electronics and Electrical Timed Decision Table and Its Applications in Pre-Synthesis and Partial Synthesis of Digital Circuits text Computer Science Computer Science University of Illinois at Urbana-Champaign Dissertation Ph.D.