|
Published Articles >> Table of Contents >> Abstract
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
pp. 23-28
Composable Guarded Atomic Actions: a Bridging Model for SoC Design
Rishiyur S. Nikhil, Bluespec, Inc.
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.47
Send link to a friend
| Abstract |
|
We discuss the approach to concurrency in
Bluespec's commercial tools that enable chip
designers to deal with complex concurrency, the
hallmark of today's systems on a chip. We discuss the
basic concurrency model (rules, or guarded atomic
actions); modular construction of rules; scheduling
into clocked synchronous hardware, including
multiple clock domains; non-determinism vs.
determinism, and predictability and control of
scheduling; and suitability for formal verification.
We also discuss the importance of "bridging", i.e., the
ability to use the same semantic model both for highlevel
specifications and modeling as well as for highquality
hardware implementations.
|
 Additional Information
|
Citation:
Rishiyur S. Nikhil,
"Composable Guarded Atomic Actions: a Bridging Model for SoC Design,"
acsd,
pp. 23-28,
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007),
2007
|
|
