Publication details
Verification Process of Hardware Design in Liberouter Project
| Authors | |
|---|---|
| Year of publication | 2004 |
| Type | R&D Presentation |
| MU Faculty or unit | |
| Citation | |
| Description | This technical report analyzes the process of verification of hardware design in Liberouter project. Such an analysis had become a necessity since we had developed several tools that were difficult both to maintain and modify. This document tries to sum up our needs and to propose a way our tools could be organized. Description of verification environment Verunka is given in more detail as it is a new tool. |
| Related projects: |