Sciweavers

2 search results - page 1 / 1
» Two-Dimensional Regular Expressions for Compositional Bus Pr...
Sort
View
FMCAD
2007
Springer
13 years 11 months ago
Two-Dimensional Regular Expressions for Compositional Bus Protocols
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
Kathi Fisler
TOOLS
1999
IEEE
13 years 9 months ago
Bounding Component Behavior via Protocols
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
Frantisek Plasil, Milos Besta, Stanislav Visnovsky