The Codesign Virtual Machine (CVM) is introduced as a next generation system modeling semantic. The CVM permits unrestricted system-wide software and hardware behaviors to be designed to a single scheduling semantic by resolving time-based (resource) and time-independent (state-interleaved) models of computation. CVM hierarchical relationships of bus and clock state domains provide a means of exploring hardware/software scheduling trade-offs to a consistent semantic model using topdown, bottom-up and iterative design approaches from a high system level to the machine implementation. State domain partitionings permit run-time software schedulers to be resolved with design time physical scheduling as peer- and hierarchicallyrelated architectu...
Discrete dynamic system models that track, maintain, utilize, and evolve virtual time are referred t...
A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Mar...
This paper addresses fundamental aspects of system modelling and partitioning algorithms in the area...
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and so...
The thesis provides a new approach to the codesign of digital systems. Complex systems tend to have ...
This paper presents a new approach for modeling hardware and software tasks in codesign system. The ...
design space exploration, hardware-software codesign, design methodology management, design flow man...
The Program State Machine (PSM) Model of Computation offers a rich set of modeling elements to descr...
The Program State Machine (PSM) Model of Computation offers a rich set of modeling elements to descr...
International audienceThis paper aims at a theory for hardware/software codesign. We approach this g...
Abstract—The classical Turing machine model has defects in centralized control, sequential and deter...
Efficient evaluation of design choices, in terms of selec-tion of algorithms to be implemented as ha...
This thesis consists in the implementation of a hierarchical scheduling framework, a paradigm that a...
Much like VLIW, statically scheduled architectures that expose all control signals to the compiler o...
This paper presents an overview of a hardware/software codesign methodology and its supporting frame...
Discrete dynamic system models that track, maintain, utilize, and evolve virtual time are referred t...
A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Mar...
This paper addresses fundamental aspects of system modelling and partitioning algorithms in the area...
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and so...
The thesis provides a new approach to the codesign of digital systems. Complex systems tend to have ...
This paper presents a new approach for modeling hardware and software tasks in codesign system. The ...
design space exploration, hardware-software codesign, design methodology management, design flow man...
The Program State Machine (PSM) Model of Computation offers a rich set of modeling elements to descr...
The Program State Machine (PSM) Model of Computation offers a rich set of modeling elements to descr...
International audienceThis paper aims at a theory for hardware/software codesign. We approach this g...
Abstract—The classical Turing machine model has defects in centralized control, sequential and deter...
Efficient evaluation of design choices, in terms of selec-tion of algorithms to be implemented as ha...
This thesis consists in the implementation of a hierarchical scheduling framework, a paradigm that a...
Much like VLIW, statically scheduled architectures that expose all control signals to the compiler o...
This paper presents an overview of a hardware/software codesign methodology and its supporting frame...
Discrete dynamic system models that track, maintain, utilize, and evolve virtual time are referred t...
A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Mar...
This paper addresses fundamental aspects of system modelling and partitioning algorithms in the area...