Julien Schmaltz, Dominique Borrione  Home/Search
Context
Related
| utexas.edu/users/m...borrionefinal.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utexas.edu/users/moore/acl2/wo... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we present an experiment in the modeling of the AMBA-AHB virtual component and the proof of essential properties to validate the model. We prove the correctness of communications for an arbitrary number of masters and slaves. 1 (Update)
Similar documents (at the sentence level):
9.3%: Issn 1292-862 - Tima Lab Research (Correct)
Active bibliography (related documents): More All
0.5: Micro-network for SoC : - Implementation Of Port (2003) (Correct)
0.0: Design Methodology and Tools for Wireless System Design.. - Berkeley Wireless.. (Correct)
0.0: Synthesis and Optimization of Coordination Controllers - For Distributed Embedded (Correct)
Similar documents based on text: More All
0.2: Formalization of Finite State Machines with Data Path for.. - Dominique Borrione (1998) (Correct)
0.1: Combining ACL2 and Mathematica for the Symbolic Simulation of - Digital Systems Al (2003) (Correct)
0.1: A Method for Automatic Design Error Location and Correction.. - Wahba, Borrione (1996) (Correct)
BibTeX entry: (Update)
@misc{ schmaltz-validation,
author = "Julien Schmaltz and Dominique Borrione",
title = "Validation of a Parameterized Bus Architecture Model",
url = "citeseer.ist.psu.edu/schmaltz03validation.html" }
Citations (may not include all citations):73 Interface-Based Design (context) - Rowson, Sangiovanni-Vincentelli - 1997
2 Virtual Component Interface Standard Version (context) - Alliance - 2001
1 Architecture Speci cations Version (context) - -bit, Bus - 2001
Documents on the same site (http://www.cs.utexas.edu/users/moore/acl2/workshop-2003/): More
Using MBE to Speed a Verified Graph Pathfinder - Greve, Wilding (2003) (Correct)
Implementing abstract types in ACL2 - Austel (2003) (Correct)
Encapsulation for Practical Simplification Procedures - Matlin, McCune (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC