Constraint satisfaction algorithms
Computational Intelligence
Manifestations of heterogeneity in hardware/software co-design
DAC '94 Proceedings of the 31st annual Design Automation Conference
Rapid prototyping of microprocessor-based systems
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
A Model and Methodology for Hardware-Software Codesign
IEEE Design & Test
Hardware-Software Cosynthesis for Digital Systems
IEEE Design & Test
Hardware-Software Cosynthesis for Microcontrollers
IEEE Design & Test
On Satisfying Timing Constraints in Hard-Real-Time Systems
IEEE Transactions on Software Engineering
MDAI '07 Proceedings of the 4th international conference on Modeling Decisions for Artificial Intelligence
Hi-index | 0.01 |
A key task in mixed hardware-software embedded systems design is partitioning the design functions into hardware and software implementable sets. Allocating a design function to a hardware or software module constrains the available implementations choices for other functions. We can model that hardware-software partitioning problem as a constraint satisfaction problem. The authors present an algorithm for solving the problem, evaluate the performances of different search control heuristics, and show two applications of the proposed approach to real-life designs.