Sciweavers

2 search results - page 1 / 1
» Two-Dimensional Regular Expressions for Compositional Bus Pr...
Sort
View
FMCAD
2007
Springer
14 years 12 days 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 10 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