Loading...
Please wait, while we are loading the content...
Similar Documents
Formalization and verification of the AMBA AHB communication architecture using the ACL2 theorem prover
| Content Provider | Semantic Scholar |
|---|---|
| Author | Borrione, Dominique Schmaltz, Julien |
| Copyright Year | 2003 |
| Abstract | We apply a method, based on an automatic theorem prover, to verify the correctness of communication systems at the first step of the design. The prover has reasoning capabilities that do not require fixed size systems, and large parameterized architectures, like IPs or SoCs can be modeled and proved correct through this approach. We illustrate the approach on an industrial onchip bus, the AMBA AHB. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://tima.imag.fr/publications/files/rr/fva_170.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
