Browse College of Engineering by Contributor "Rajesh K. Gupta"
Now showing items 1-2 of 2
Timed Decision Table and Its Applications in Pre-Synthesis and Partial Synthesis of Digital Circuits (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 ...
(1999)We address the problem of timing constraint derivation and validation for reactive and real-time embedded systems. We assume that such a system is structured into its tasks, and the structure is modeled using a task graph. ...