Export Citations
1 Results for: Author: Patel, Hiren D
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,836,933 records)|Limit your search to The ACM Full-Text Collection (774,356 records)
Select All
- ArticleDecember 2010
Towards a Multi-MoC Hardware/Software Co-design Framework Using Abstract State Machines
MTV '10: Proceedings of the 2010 11th International Workshop on Microprocessor Test and VerificationPages 53–58https://doi.org/10.1109/MTV.2010.18This work presents a way to express Concurrent Action Oriented Specification (CAOS) designs using the Abstract State Machine (ASM) formalism. Specifically, we provide the syntax, and scheduling semantics for CAOS in ASMs. This forms an essential piece ...
