|
Message
From: Joachim Strömbergson<Joachim.Strombergson@I...>
Date: Wed Aug 25 13:32:46 CEST 2004
Subject: [oc] Assertions for verification of Wishbone?
Aloha!Is there any assertions (OVL, PSL, SVA) written and available that check the
functional properties of Wishbone?
This might be a good thing for OC to have for Wishone.
--
Med vänlig hälsning, Yours
Joachim Strömbergson - Alltid i harmonisk svängning.
VP, Research & Development
----------------------------------------------------------------------
InformAsic AB / Hugo Grauers gata 5B / SE-411 33 GÖTEBORG / Sweden
Tel: +46 31 68 54 90 Fax: +46 31 68 54 91 Mobile: +46 733 75 97 02
E-mail: joachim.strombergson@i... Home: www.informasic.com
----------------------------------------------------------------------
|
Browse
