Foundations of parallel programming
Foundations of parallel programming
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Lava: hardware design in Haskell
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
HML, a novel hardware description language and its translation to VHDL
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
MASCOT: a specification and cosimulation method integrating data and control flow
DATE '00 Proceedings of the conference on Design, automation and test in Europe
The usage of stochastic processes in embedded system specifications
Proceedings of the ninth international symposium on Hardware/software codesign
FunState—an internal design representation for codesign
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
System Synthesis Based on a Formal Computational Model and Skeletons
WVLSI '99 Proceedings of the IEEE Computer Society Workshop on VLSI'99
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Synthesis of software programs for embedded control applications
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
System-level design: orthogonalization of concerns and platform-based design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A case study of hardware and software synthesis in ForSyDe
Proceedings of the 15th international symposium on System Synthesis
Verification of design decisions in ForSyDe
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Development and Application of Design Transformations in ForSyDe
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
System Level Specification in Lava
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
POET: a scripting language for applying parameterized source-to-source program transformations
Software—Practice & Experience
Hi-index | 0.00 |
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system model into an implementation model. The methodology defines two classes of design transformations: (1) semantic-preserving transformations and (2) design decisions. In particular we present and illustrate communication and clock domain refinement by way of a digital equalizer system.