Back to results

University of Illinois at Urbana-Champaign

Timed Decision Table and Its Applications in Pre-Synthesis and Partial Synthesis of Digital Circuits

Abstract

dc:description

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.

Degree

thesis:*
Name thesis:degree_name
Ph.D.
Level thesis:degree_level
Dissertation
Discipline thesis:degree_discipline
Computer Science
Grantor
University of Illinois at Urbana-Champaign
Year dc:date
2015

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Li, Jian
Contributors dc:contributor
  • Rajesh K. Gupta

Subjects

dc:subject × 1

Rights

Language dc:language
eng

Identifiers

dc:identifier.*
Identifier
(MiAaPQ)AAI9953078
OAI identifier oai:identifier
oai:www.ideals.illinois.edu:2142/81962

Chain of custody

source
Harvested from
University of Illinois - Urbana-Champaign
Base URL
www.ideals.illinois.edu/oai-pmh
Last updated
2026-07-22
Source record
OAI-PMH GetRecord
citation

Li, Jian. Timed Decision Table and Its Applications in Pre-Synthesis and Partial Synthesis of Digital Circuits. Dissertation thesis, University of Illinois at Urbana-Champaign, 2015. http://hdl.handle.net/2142/81962