dc.contributor.author |
Safieddine, Maya Haidar, |
dc.date.accessioned |
2018-10-11T11:43:08Z |
dc.date.available |
2018-10-11T11:43:08Z |
dc.date.copyright |
2021-02 |
dc.date.issued |
2017 |
dc.date.submitted |
2018 |
dc.identifier.other |
b21047868 |
dc.identifier.uri |
http://hdl.handle.net/10938/21436 |
dc.description |
Dissertation. Ph.D. American University of Beirut. Department of Electrical and Computer Engineering, 2017. ED:94$Advisor : Dr. Fadi Zaraket, Associate Professor, Electrical and Computer Engineering ; Dr. Rouwaida Kanj, Assistant Professor, Electrical and Computer Engineering ; Members of Committee : Dr. Ali Chehab, Professor, Electrical and Computer Engineering ; Dr. Haitham Akkary, Professor, Electrical and Computer Engineering ; Dr. Mohamad Jaber, Assistant Professor, Computer Science ; Dr. Walid Najjar, Professor, University of California Riverside ; Dr. Ali El-Zein, Senior Software Engineer, IBM. |
dc.description |
Includes bibliographical references (leaves 126-134) |
dc.description.abstract |
Design-for-Test, Logic Built-in Self Test, memory technology mapping and clocking concerns require team-months of verification time as they traditionally happen at gate level where concerns are highly coupled and verification requires several design flow iterations. We present a novel concern oriented methodology that enables automatic insertion of memory related concerns at the Register Transfer Level (RTL). It separates concerns and thereby reduces their coupling. It also lifts verification to the RTL level and reduces the design iterations. The methodology involves three main phases: (1) flipflop inference and instantiation algorithms that handle parametric RTL modules, (2) transformations that take entry RTL and produce RTL modules where memory elements are separated from functionality, and (3) a concern weaving tool that automatically inserts memory related design concerns implemented in recipe files into the RTL modules. We prove the transformations sound. We also use formal methods to validate the implementation of the transformations. The methodology speeds up verification by lifting memory related concern weaving to RTL. It also allows for smaller and faster verification environments due to automatic separation and insertion of concerns. This enables partial concern verification with low overhead which in turn reduces the verification design size and makes emulation possible. In addition, the methodology increases the productivity of designers by (1) allowing debugging to occur at a higher level of abstraction, and (2) logic and concern designers to work independently due to decoupling of concerns. The automatic memory element inference of the methodology alleviates the designers from understanding the concern implementations, and lets them focus on the functionality instead. We implemented the methodology in a tool that is currently used in an industrial setting. The methodology reduced design verification time by more than 40percent. It is applicable on non-parametric designs as well as parametric design |
dc.format.extent |
1 online resource (xvi, 134 leaves) : color illustrations |
dc.language.iso |
eng |
dc.subject.classification |
ED:000094 |
dc.subject.lcsh |
VHDL (Computer hardware description language)$Verilog (Computer hardware description language)$Integrated circuits -- Design and construction.$Integrated circuits -- Verification.$Integrated circuits -- Testing.$Integrated circuits -- Computer-aided design.$Aspect-oriented programming. |
dc.title |
RTL level verification - |
dc.type |
Dissertation |
dc.contributor.department |
Faculty of Engineering and Architecture.$Department of Electrical and Computer Engineering, |
dc.contributor.institution |
American University of Beirut. |