Engineering Commons^™

Automated Test Generation For Validating Systemc Designs, Bin Lin

Dissertations and Theses

Modern system design involves integration of all components of a system on a single chip, namely System-on-a-Chip (SoC). The ever-increasing complexity of SoCs and rapidly decreasing time-to-market have pushed the design abstraction to the electronic system level (ESL), in order to increase design productivity. SystemC is a widely used ESL modeling language that plays a central role in modern SoCs design process. ESL SystemC designs usually serve as executable specifications for the subsequent SoCs design flow. Therefore, undetected bugs in ESL SystemC designs may propagate to low-level implementations or even final silicon products. In addition, modern SoCs design often involves …

Design And Implementation Of A Model For Authoring And Presenting Interactive Multimedia Documents, Vibha Mukul Nayyar

Dissertations and Theses

Multimedia technology enables direct manipulation of multiple media such as text, image, audio, and video, all integrated into one entity - the multimedia document. Interactive multimedia documents integrate text, images and continuous media such as audio and video, treat them as objects to be presented for a certain duration, and allow users to interact with the presentation. Authoring and presenting interactive multimedia documents imposes new requirements on document representation. We designed the interactive timeline model (ITM) for authoring and presenting interactive multimedia documents. We implemented the model and created a playback tool using the scripting language Tcl.

ITM uses an …