Interfacing abstract state machines with multiway decision graphs
Digital systems are becoming very large and complex making the process of finding bugs and design validation in early stages of the design cycle a must. As a contribution towards catching this goal, the propose in this thesis an approach to interface Abstract State Machines (ASNI) with Multiway Deci...
Main Author: | |
---|---|
Format: | Others |
Published: |
2003
|
Online Access: | http://spectrum.library.concordia.ca/2134/1/MQ77969.pdf Gawanmeh, Amjad <http://spectrum.library.concordia.ca/view/creators/Gawanmeh=3AAmjad=3A=3A.html> (2003) Interfacing abstract state machines with multiway decision graphs. Masters thesis, Concordia University. |