"546963" . . . . "Towards Hardware Verification"@en . "This paper gives an introduction to the approach of verification of discrete timed hardware design. It roughly offers low-level verification hand in hand
with high-level verification (which is described in more detail). The main part of this paper takes an example of the top of view verification of the lookup processor as a part of the COMBO cards developed by Liberouter project." . "Brno" . "Brno" . . "formal verification, hardware verification, abstract model verification, verification of implementation
"@en . . "Towards Hardware Verification"@en . "Proceedings of the 11th Conference Student EEICT 2005" . "P(GA102/04/0780)" . "26230" . . "Towards Hardware Verification" . "1"^^ . "978-80-214-2890-4" . . "Towards Hardware Verification" . "1"^^ . "5"^^ . . . "RIV/00216305:26230/05:PU55742" . . . "2005-04-28+02:00"^^ . . . . "Smr\u010Dka, Ale\u0161" . "Vysok\u00E9 u\u010Den\u00ED technick\u00E9 v Brn\u011B. Fakulta informa\u010Dn\u00EDch technologi\u00ED" . . . "RIV/00216305:26230/05:PU55742!RIV10-GA0-26230___" . "[770056D13C7B]" . . "This paper gives an introduction to the approach of verification of discrete timed hardware design. It roughly offers low-level verification hand in hand
with high-level verification (which is described in more detail). The main part of this paper takes an example of the top of view verification of the lookup processor as a part of the COMBO cards developed by Liberouter project."@en .