Publication details
How to Formalize FPGA Hardware Design
| Authors | |
|---|---|
| Year of publication | 2004 |
| Type | R&D Presentation |
| MU Faculty or unit | |
| Citation | |
| Description | In this report, a formal view of an FPGA hardware design is presented. An approach of how elementary FPGA design entities can be modeled in terms of Kripke structures is presented here. The report is also focused on capturing the problems of modeling synchronous parts of hardware design together with its asynchronous parts. |
| Related projects: |