Communication and concurrency
System synthesis utilizing a layered functional model
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
On the roles of functions and objects in system specification
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Communicating sequential processes
Communications of the ACM
A straightforward denotational semantics for non-determinate data flow programs
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Scenarios: A Model of Non-Determinate Computation
Proceedings of the International Colloquium on Formalization of Programming Concepts
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons
VLSID '99 Proceedings of the 12th International Conference on VLSI Design - 'VLSI for the Information Appliance'
System Synthesis Based on a Formal Computational Model and Skeletons
WVLSI '99 Proceedings of the IEEE Computer Society Workshop on VLSI'99
Transformation based communication and clock domain refinement for system design
Proceedings of the 39th annual Design Automation Conference
EWD: A metamodeling driven customizable multi-MoC system modeling framework
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Co-simulation and communication synthesis approach for intellectual properties based SoCs
Computers and Electrical Engineering
Hi-index | 0.00 |
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purpose is used in specifications to constrain implementations. For the specification of embedded systems we suggest a stochastic processor instead of nondeterminism. It serves mostly the descriptive purpose but can also be used to constrain the system. We carefully distinguish different interpretations of these concepts by the different design activities simulation, synhesis and verification.