Back to CAD, EDA, HLS, ESL Links
Well categorized Bibtex Bibliography for CAD, Codesign etc for Digital Circuits and Systems
(or download the
bibtex file which is usually more up to date)
NATO ASI Series Book: Hardware/Software Co-Design
Edited by: Giovanni De Micheli and Mariagiovanna Sami, "Hardware/Software Co-Design", NATO ASI, Series E: Applied Sciences- Vol. 310, Kluwer Academic Publishers, Dordrecht/Boston/London, p. 467.
Proceedings of the Third International Workshop on Hardware/Software Codesign
Wolf, W., Buchenrieder, K., Sedlmeier, A., Rozenblit, J., "Third International Workshop on Hardware/Software Co-Design", Grenoble, France, September 22-24, 1994: IEEE Computer Society Press, p. 225.
1. Antoniazzi, S. and e. al. "A Methodology for Control-Dominated Systems Codesign", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 2-9.
2. Auguin, M. and e. al. "Towards a Multi-Formalism Framework for Architectural Synthesis: The ASAR Project", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 25-32.
3. Auguin, M., F. Boeri, and C. Carriere. "Automatic Exploration of VLIW Processor Architectures from a Designer's Experience Based Specification", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 108- 115.
4. Barros, E. and A. Sampaio. "Towards Provably Correct Hardware/Software Partitioning Using Occam", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 210-217.
5. Brage, J.P. and J. Madsen. "A Codesign Case Study in Computer Graphics", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 132- 139.
6. Buck, J.T. "A Dynamic Dataflow Model Suitable for Efficient Mixed Hardware and Software Implementations of DSP Applications", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 165-172.
7. Calvez, J.P. and D. Isidoro. "A Codesign Experience with the MCSE Methology", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 140- 147.
8. Caron, O. and e. all. "New architectures for smart cards: the OCEAN approach", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 148- 155.
9. Coelho, C.N. and e. all. "Redesigning Hardware-Software Systems", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 116-123.
10. D'Ambrosio, J.G. and X. Hu. "Configuration-Level Hardware/Software Partitioning for Real-Time Embedded Systems", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 34-41.
11. Deegener, M. and S.A. Huss. "Hardware/Software Co-Design in the MuSE Environment", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 195-202.
12. Eles, P., Z. Peng, and A. Doboli. "VHDL System-Level Specification und Partitioning in a Hardware/Software Co-Synthesis Environment", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 49-55.
13. Green, P., P. Rushton, and R. Beggs. "An Example of Applying the Codesgn Method MOOSE", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 65-72.
14. Gupta, R.K. and G.D. Micheli. "Constrained Software Generation for Hardware-Software Systems", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 56-63.
15. Herrmann, D., J. Henkel, and R. Ernst. "An Approach to the Adaptation of Estimated Cost Parameters in the COSYMA System", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 100-107.
16. Hoeg, F., N. Mellergaard, and J. Staunstrup. "The Priority Queue as an Example of Hardware/Software Codesign", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 81-88.
17. Ismail, T.B., M. Abid, and A. Jerraya. "COSMOS: A CoDesign Approach for Communicating Systems", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 17-24.
18. Kalavade, A. and E.A. Lee. "A Global Criticality/Local Phase Driven Algorithm for the Constrained Hardware/Software Partitioning Problem", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 42- 48.
19. Koch, G., U. Kebschull, and W. Rosenstiel. "A Prototyping Environment for Hardware/Software Codesign in the COBRA Project", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 10-16.
20. Lavagno, L. and e. all. "A Case Study in Computer-Aided Codesign of Embedded Controllers", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 220-224.
21. Luk, W. and T. Wu. "Towards a Declarative Framework for Hardware-Software Codesign", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 181-188.
22. Ravn, A.P. and J. Staunstrup. "Interface Models", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 157-164.
23. Sutarwala, S. and P. Paulin. "Flexible Modeling Environment for Embedded Systems Design", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 124-130.
24. Thei§inger, M., P. Stravers, and H. Veit. "Castle: An Interactive Environment for HW-SW Co-Design", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 203-209.
25. Voss, M. and e. all. "Towards a Theory for Hardware/Software Codesign", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 173- 180.
26. Wilberg, J., P. Camposano, and W. Rosenstiel. "Design Flow for Hardware/Software Cosynthesis of a Video Compression System", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 73-80.
27. Wilson, J. "Hardware/Software Selected Cycle Solution", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 190-194.
28. Wolf, W. and e. all. "TigerSwitch: A Case Study in Embedded Computing System Design", in Third International Workshop on Hardware/Software Codesign. 1994. Grenoble, France: IEEE Computer Society Press, 89-96.
Codesign: Computer-Aided Software/Hardware Engineering
Edited by: Jerzy Rozenblit and Klaus Buchenrieder, "Codesign", IEEE Press, 1995, ISBN 0-7803-1049-7.
[1-21]
1. Bortolazzi, J., Y. Tanurhan, and K.D. MÙller-Glaser, "Toward an Environment for System Specification and Design", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 281-298.
2. Boussebha, D. and N. Giambiasi, "An Approach to the Timing Verification of VHDL Descriptions", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 190-211.
3. Boute, R., "A Declarative Formalism Supporting Hardware/Software Codesign", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 41-66.
4. Broy, M., "(Inter-)Action Refinement: The Easy Way", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 67-97.
5. Buchenrieder, K. and J. Rozenblit, "Codesign: An Overview", in Codesign: Computer-Aided Software/Hardware Engineering, B. Klaus and R. Jeryz, Editors. 1995, IEEE Press: Piscataway, NJ. 1-15.
6. Buchenrieder, K., A. Sedlmeier, and C. Veith, "CODES: A Framework for Modeling Heterogeneous Systems", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 378-393.
7. BÙndgen, R. and W. KÙchlin, "Term Rewriting as a Tool for Hardware and Software Design", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 19-40.
8. Dittrich, G., "Modeling of Complex Systems Using Hierarchical Petri Nets", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 128-144.
9. Edwards, M.D., "Hardware/Software Codesign: Experiences with Languages and Architectures", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 356-377.
10. Evans, D.G. and D. Morris, "Applying Modeling to Embedded Computer System Design", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 98-116.
11. Forrest, J., "Implementation-Independent Descriptions Using an Object-Oriented Approach", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 263-278.
12. Gandhi, M. and E.L. Robertson, "SBDM as a Model for Codesign Data", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 338-355.
13. Gillard, P. and K.C. Posch, "A Hierarchical View of Time", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 176-189.
14. Herpel, H.-J., N. Wehn, and M. Glesner, "Computer-Aided Prototyping of Application-Specific Embedded Controllers in Mechatronic Systems: A Case Study", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 425-442.
15. Hughes, R.B. and G. Musgrave, "Design-Flow Graph Partitioning for Formal Hardware/Software Codesign", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 212-229.
16. Jerraya, A.A. and K. O'Brien, "SOLAR: An Intermediate Format for System-Level Modeling and Synthesis", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 145-175.
17. Kalavade, A. and E.A. Lee, "Hardware/Software Codesign Using Ptolemy: A Case Study", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 397-413.
18. Mertens, P., "System Architecture Design Using Structured Methods", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 299-323.
19. Nauber, P., K. Scherer, and G.v. Boegel, "First Strategies, Concepts, and Tools for Hardware/Software Codesign", in Codesign: Computer- Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 324-337.
20. Éstman, F. and L. Tax*n, "Hardware/Software Coverification of a Telephone Exchange: A Case Study", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 414-424.
21. Staunstrup, J., "Toward a Common Model of Software and Hardware Components", in Codesign: Computer-Aided Software/Hardware Engineering, K. Buchenrieder and J. Rozenblit, Editors. 1995, IEEE Press: Piscataway, NJ. 117-127.
A recent book that might interest you.
The CODESIGN OF EMBEDDED SYSTEMS
A Unified Hardware/Software Representation
S. Kumar, J. Aylor, B.W. Johnson, Wm. A. Wulf, "The CODESIGN OF EMBEDDED SYSTEMS", Kluwer Academic Publishers, 1996.
Hardware/Software Codesign an Annotated Bibliography
The "Little Red Book" contains 257 entries and numerous abstracts that are not available here.
1. Acosta, R.D. and A. Guzmýn, "An Environment for Functional and Performance Prototyping of Parallel Programs", MCC Technical Report, Technical Report The development of PProto was sponsored by the Rome Air Development Center (RADC), Command and Control Division (CO), C2 Software Technology Branch (COEE), Contract No. F30602-89-C-129., 1991.
2. Acosta, R.D. "Specification Prototyping of Concurrent Ada Programs in DProto", in TRI- Ada '92. 1992. Orlando, Florida, USA, November 16-20: pp. 258-266.
3. Acosta, R.D. "Use of Dataflow Specifications for Software/Hardware Codesign", in International Workshop on Hardware- Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 6.
4. Adams, J.K., H. Schmitt, and D.E. Thomas. "A Model and Methodology for Hardware- Software Codesign", in International Workshop on Hardware-Software Co- Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 6.
5. Alford, M., "Application of Requirements Driven Development to Hardware / Software Co-Design", MCC Technical Report, Technical Report MCC-CAD-156-91, 1991.
6. Altmae, M. and P. Gibson. "Hardware/Software Coverification", in VHDL-FORUM for CAD in Europe. 1994. Tremezzo, Lago di Como, Italy, April 17-20: p. 10.
7. Antoniazzi, S., et al. "A Conceptual-Level Approach to Embedded Systems Design", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 13.
8. ASAR. "Contributions of the 25 project members, Towards a Multi- Formalism Framework for Architectural Synthesis: The ASAR Project", in Third International Workshop on Hardware / Software Codesign: Codes/CASHE '94. 1994. Grenoble, France, September 22 - 24: sponsored by ACM, IEEE and IFIP, to appear.
9. Athanas, P.M. and H.F. Silverman, "Processor Reconfiguration Through Instruction-Set Metamorphosis [PRISM]",.Computer, 1993. 26(3): pp. 11-18.
10. Aylor, J., et al. "The Future of Embedded System Design", in International Conference on Computer Design: VLSI in Computers and Processors. ICCD '92. 1992. Cambridge, Massachussetts, USA., October 11-14: IEEE Computer Science Press, pp. 144-146.
11. Bagrodia, R.L. and C.-C. Shen, "MIDAS: integrated design and simulation of distributed systems",.IEEE Transactions on Software Engineering, 1991. 17(10): pp. 1042-1058.
12. Baker, W. and R.A. Newton. "Synchronous Parallelism and Object- Oriented Computing for Real-Time Software Applications", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 8.
13. Barnes, T.J., et al., "Electronic CAD Frameworks", 1992, Dordrecht, Netherlands: Kluwer Academic Publishers. p. 195.
14. Barros, E. and W. Rosenstiel. "A Method to Hardware/Software Partitioning", in 6th Annual European Computer Conference, COMPEURO 92. 1992. The Hague, Netherlands, May 4-8: p. 5.
15. Barros, E. and W. Rosenstiel. "Ein Verfahren zur Hardware/Software Partitionierung", in Workshop: Entwurfsmethodik fÙr Integrierte Schaltungen und Systeme. 1992. Darmstadt, Germany, February 10-11: Workshop Handouts, p. 3.
16. Barros, E. and W. Rosenstiel. "A Method for Hardware/Software Partitioning", in CompEuro 1992: Computer Systems and Software Engineering. 1992. The Hague, Netherlands, 4-8 May: IEEE Computer Science Press, pp. 580- 585.
17. Barros, E. and W. Rosenstiel. "A Clustering Approach to Support Hardware/Software Partitioning", in First International IFIP Workshop on Hardware/Software Codesign (Codes/CASHE'92). 1992. Grassau, Germany, May 19-21: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 30.
18. Barros, E., "Hardware/Software Partitioning using UNITY.", 1993, University of TÙbingen:
19. Barros, E., W. Rosenstiel, and X. Xiong. "Hardware / Software Partitioning with UNITY", in International Workshop on Hardware- Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7- 8: Workshop Handouts, p. 15.
20. Barros, E. and A. Sampaio. "Towards Provably Correct Hardware/Software Partitioning Using Occam", in 3rd International Workshop on Hardware/Software Codesign (Codes/CASHE 94). 1994. Grenoble, France, September 22-24: IEEE Press, Workshop Proceedings, to appear, p. 8.
21. Barros, E., W. Rosenstiel, and X. Xiong. "A Method for Partitioning UNITY Language in Hardware and Software", in European Design Automation Conference (EURO- DAC). 1994. Grenoble, France, September: to appear.
22. Becker, D., R.K. Singh, and S.G. Tell. "An Engineering Environment for Hardware/Software Co-simulation", in 29th Design Automation Conference. 1992. Anaheim, California, USA., June 8 -12: IEEE Computer Society Press, Los Alamitos, CA., pp. 129-134.
23. Benner, T., J. Henkel, and R. Ernst. "Internal Representation of Embedded Hardware- /Software-Systems", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 3.
24. Benzakki, J. and M. Israel. "OSYS : A High-Level Synthesis Tool of VLSI & HW/SW CoDesign", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 4.
25. Bernot, G. and M. Israel. "ECOS: From Formal Specification to Hardware/Software Partitioning", in Euro-VHDL94. 1994. Grenoble, France, September: submitted.
26. Berry, G. "A Hardware Implementation of Pure Esterel", in 1991 International Workshop on Formal Methods in VLSI Design. 1991. Miami, Florida, USA., January:
27. Berry. "Using Esterel for Codesign", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts.
28. Birmingham, W.P., A.P. Gupta, and D.P. Siewiorek, "Automating the Design of Computer Systems: The MICON Project", 1992, Boston: Jones and Bartlett. p. 278.
29. Bortolazzi, J., et al. "Towards an Integrated Environment for Microsystem Design", in Second IFIP WG 10.2 Workshop. 1991. Charlottesville, VA, USA.: Amsterdam, Netherlands: North- Holland, pp. 331-347.
30. Brage, J.P. and J. Madsen. "A Codesign Case Study in Computer Graphics", in Private Communications. 1994.
31. Brage, J.P. and S. Pedersen, "Optical Flow: A Codesign Case Study",.Private Communications, 1994. .
32. Broy, M. and K. Dendorfer. "Functional System Specification * Real Time * Operating System Structures", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, Presentation Slides.
33. Buchenrieder, K. "Hardware / Software Engineering", in First IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'92). 1992. Grassau, Germany, May 19-21: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, Presentation Slides.
34. Buchenrieder, K. and A. Pyttel, "SIDECON: Ein System zur wissensbasierten Konfiguration von Leiterplatten",.CADS, 1992. 92(6): p. 5.
35. Buchenrieder, K. and C. Veith. "CODES: A Practical Concurrent Design Environment", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 12.
36. Buchenrieder, K., A. Sedlmeier, and C. Veith. "Design of HW/SW Systems with VLSI Subsystems Using CODES", in IEEE Workshop on VLSI Signal Processing. 1993. Veldhoven, The Netherlands, October 20 - 22: IEEE Special Publications: VLSI Signal Processing VI, ISBN 0-7803- 0996-0 (Hardbound), 0-7803-1202-3 (Microfiche),
37. Buchenrieder, K. and C. Veith, "Integrierte Entwicklung von Hardware und Software (Integrated Development of Hardware and Software)",.CAD-CAM Report, 1993. : Part I: Nr. 11, November 1993, pp. 94-103; Part II: Nr.1, January 1994, pp. 50- 55.
38. Buchenrieder, K., A. Sedlmeier, and C. Veith. "HW/SW Co-Design with PRAMs Using CODES", in 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93. 1993. Ottawa, Ont., Canada, April 26-28: North Holland, ISBN 0-444-81641-0, pp. 65 - 78.
39. Buchenrieder, K., "Codesign and Concurrent Engineering",.Computer, 1993. 26(1): pp. 85-86.
40. Buchenrieder, K., "HW/SW Codesign for Time Discrete and Time Continuous Systems", 1993, (Presentation Slides): Holzhau, Dresden, Germany.
41. Buchenrieder, K.J. "Hardware-Software Codesign: Codesign and Concurrent Engineering", in IEEE Computer. 1993. Hot Topics, pp. 85-86.
42. Buchenrieder, K. "Focus on Hardware / Software Codesign", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck- Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
43. Buchenrieder, K. and C. Veith. "A Prototyping Environment for Control- Oriented HW/SW Systems Using State-Charts, Activity-Charts, and FPGAs", in European Design Automation Conference (EURO-DAC). 1994. Grenoble, France, September: to appear.
44. Buchenrieder, K., et al. "A new model-based approach to the co- design of heterogeneous systems", in Third International Workshop on Computer Aided Systems Theory - EUROCAST '93. 1994. Las Palmas, Spain, February 22-26: Springer Verlag; ISBN 3-540- 57601-0, ISBN 0-387- 57601-0, pp. 42-51.
45. Buck, J., et al. "Ptolemy: A Platform for Heterogeneous Simulation and Prototyping", in European Simulation Conference. 1991. Copenhagen, Denmark, June 17-19:
46. Calvez, J.P., "Embedded Real-Time Systems. A Specification and Design Methodology", 1993, John Wiley and Sons. p. 670.
47. Calvez, J.P., et al. "CoDesign with the MCSE Methodology", in EUROMICRO'94. 1994. Liverpool England, September 5-8: to appear.
48. Calvez, J.P., "ASICs Specification and Design", 1995, Chapman&Hall. to appear in March 1995, approx. 570 pages.
49. Camposano, R. and R.K. Brayton. "Partitioning Before Logic Synthesis", in IEEE International Conference On Computer-Aided Design. 1987. Santa Clara, CA, USA., November: Computer Society Press, IEEE, pp. 324-326.
50. Camurati, P., et al. "Inter-process Communications for System- Level Design", in International Workshop on Hardware-Software Co- Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 11.
51. Carchiolo, V. and M. Malgeri. "Behavioural Approach to System Codesign", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, Selected Paper from the Poster Session, p. 15.
52. Cazenave, A. and B. Foucault. "Hardware-Software Co-design: industrial needs as seen by MATRA Defense", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
53. Chandy, K. "A Framework for Hardware-Software Tradeoffs in the Design of Fault-Tolerant Computers.", in AFIPS Fall Joint Conference. 1972. pp. 55-63.
54. Chiodo, M., et al., "Synthesis of Mixed Software - Hardware Implementations from CFSM Specifications", U.C. Berkeley, Technical Report UCB/ERL, 1993.
55. Chiodo, M., et al., "A Formal Specification Model for Hardware/Software Codesign", U.C. Berkeley, Technical Report UCB/ERL M93/48, 1993.
56. Chiodo, M., et al. "Synthesis of Mixed Software-Hardware Implementations from CFSM Specifications", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 15.
57. Chiodo, M., et al. "A Formal Specification Model for Hardware / Software Codesign", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts,
58. Chiodo, M., et al., "A Formal Methodology for Hardware/Software Co-Design of Embedded Systems",.IEEE Micro, 1994. : submitted, p. 20.
59. Chou, P., R. Ortega, and G. Boriello. "Synthesis of Hardware / Software Interface in Microcontroller-Based Systems", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 9.
60. Chou, P. and G. Borriello. "Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 12.
61. Chou, P. and G. Boriello. "Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems", in 31st Design Automation Conference. 1994. San Diego, CA., USA., June: ACM/IEEE, pp. 1-4.
62. Chou, P., E. Walkup, and G. Borriello, "Scheduling Issues in the Co- Synthesis of Reactive Real-Time Systems",.IEEE Micro, 1994. (August): to appear.
63. Clark, B.E., et al., "A Model of the Ada Avionics Real-Time System: An Example of the Benefits of the Hardware / Software Codesign Approach in Development of Real-Time Systems", U.S. Air Force, Technical Report WL-TR-92-1022, 1992.
64. Cochran, M. "Using the Rate Monotonic Analysis to Analyze the Schedulability of ADARTS Real-Time Software Designs", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 19.
65. Codes. "Handouts of the International Workshop on Hardware- Software Co-Design", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 1992: Workshop Handouts, p. 228.
66. Codes. "Handouts of the Second International Workshop on Hardware-Software Co-Design", in Second International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8:
67. Codes/CASHE'92. "Handout: First IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'92)", in First IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'92). 1992. Grassau, Germany, May 19-21: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 89.
68. Codes/CASHE'93. "Handout: Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93)", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 460.
69. Coelho Jr., C.N., et al. "Redesigning Hardware-Software Systems", in 3rd International Workshop on Hardware/Software Codesign (Codes/CASHE 94). 1994. Grenoble, France, September 22-24: IEEE Press, Workshop Proceedings, to appear.
70. Conklin, P.F. and D.P. Rodgers, "Advanced Minicomputer Designed by Team Evaluation of Hardware/Software Tradeoffs",.Computer Design, 1978. 17(4): April, pp. 129-137.
71. Conner, M., "New software tools speed design and debug",.EDN - Electronic Design News, 1990. : iss. January18, pp. 95-101.
72. Cook, T.A., et al. "Towards Unified Specification for Architecture and Compiler Design", in International Workshop on Hardware-Software Co- Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 17.
73. Cornish, M. and M. Talbott, "A Position Paper: Methods without Methodologies", MCC Technical Report, Technical Report MCC-CAD-156- 91, 1991.
74. D'Ambrosio, J.G., et al. "The Role of Analysis in Hardware/Software Codesign", in International Workshop on Hardware- Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7- 8: Workshop Handouts, p. 15.
75. D'Anniballe, J.V. and P.J. Koopman Jr. "Towards Execution Models of Distributed Systems: A Case Study of Elevator Design", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 9.
76. DeMicheli, G. "Hardware-Software Codesign: Extending CAD tools and techniques", in IEEE Computer. 1993. Hot Topics, pp. 84-85.
77. Dinler, B. and B. KrSmer. "Integrating a CAD Tool Box with a Software Process Environment: A Case Study", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 13.
78. Ebert, C., "Integrated Support of Hardware / Software CoDesign and CoDevelopment Using the EPOS CASE Tool", MCC Technical Report, Technical Report MCC-CAD-156-91, 1991.
79. Ecker, W. "Using VHDL for HW/SW Co-Specification", in European Design Automation Conference with EURO-VHDL'93. 1993. Hamburg, Germany, September 20-24: pp. 500-505.
80. Ecker, W. "HW/SW Co-Specification Using VHDL", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck- Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 8.
81. Edwards, M., et al. "A Development System for Hardware / Software Co-Synthesis using FPGAs", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
82. Eles, P., Z. Peng, and A. Doboli. "VHDL System-Level Specification and Partitioning in a Hardware/Software Co-Synthesis Environment", in Third International Workshop on Hardware/Software Codesign (Codes/CASHE '94). 1994. Grenoble, France, September 22-24: IEEE Press, Workshop Proceedings, p. 7, to appear.
83. Ernst, R. and J. Henkel. "Hardware-Software Co-design of Embedded Controllers Based on Hardware Extraction", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 14.
84. Ernst, R., J. Henkel, and T. Benner, "Hardware/Software Cosynthesis for Microcontrollers",.IEEE Design & Test of Computers, 1993. 10(4): December, pp. 64-75.
85. Estrin, G., et al., "SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems.",.IEEE Transactions on Software Engineering, 1986. SE-12(2): pp. 293-311.
86. FCCM. "Proceedings of the IEEE Workshop on FPGAa for Custom Computing Machines", in FCCM '94. 1994. Napa, CA, USA., April 11-13, sponsored by: IEEE Computer Society and the TC on Computer Architecture: IEEE Computer Society, preliminary proceedings (final proceedings will become available in mid-Summer 1994), p. 266.
87. Feather, M.S. "Specification and Design of Composite Systems", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 14.
88. Fornaciari, W., S. Antoniazzi, and A. Balboni, "X-Nets: a Visual Formalism for System Specification and Analysis",.Microprocessing and Microprogramming, 1993. 38(1-5): pp. 71-78.
89. Fornaciari, W., et al. "Uncommitted Design of Digital Functions for Embedded Applications: State of the Art and Perspectives", in IEEE- EDAC'93. 1993. Paris, France, February 22-25: pp. 84-88.
90. Fornaciari, W., et al. "System-Level Modeling of Control-Dominated Applications by Communicating Nets", in Asian Pacific Conference on Hardware Description Languages Standard & Applications. 1993. Brisbane, Australia, December 6-9: IEEE-IFIP WG 10.2 APCHDLSA-93,
91. Fornaciari, W., et al. "HW/SW Codesign for Embedded Telecom Systems", in IEEE International Conference on Computer Design, ICCD'94. 1994. Cambridge, Massachusetts, USA., October 10-12:
92. Fornaciari, W., et al. "The Role of VHDL within the TOSCA Hardware/Software Codesign Framework", in IEEE EURO-VHDL 94. 1994. Grenoble, France, September 19-23: to appear.
93. Franke, D., et al. "Collected Papers of the 1991 Workshop on Hardware/Software Codesign", in ICSE13-HW/SW Codesign. 1991. Austin, Texas, USA., May 13: MCC Technical Report Number: MCC-CAD- 156-91, p. 70.
94. Franke, D.W. and M.K. Purvis. "Hardware/Software Codesign a Perspective", in 13th International Conference on Software Engineering. 1991. Austin, Texas, USA., May 13-16: IEEE Computer Society Press, Order No. 2140-02, Cat. No.91CH2982-7, pp. 344-352.
95. Franke, D.W. and M.K. Purvis. "Design automation technology for codesign: status and directions", in IEEE International Symposium on Circuits and Systems. 1992. San Diego, CA, USA., 10-13 May: IEEE, pp. 2669-2672.
96. Fuchs, M. "Focus - A Design Method for Distributed Systems", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
97. Gajski, D.D., et al. "Onwards Achieving a 100-hour Design Cycle: A Test Case", in European Design Automation Conference, EURO-DAC'94. 1994. Grenoble, France, September: to appear.
98. Gajski, D.D., et al., "Specification and Design of Embedded Systems", 1994, Prentice Hall. p. 448.
99. Gajski, D.D., et al., "The Specify-Explore-Refine Paradigm for Hardware/Software System Design", UC Irvine ICS, Technical Report Submitted to ICCAD 94, 1994.
100. Gajski, D.D., F. Vahid, and S. Narayan. "A System-Design Methodology: Executable- Specification Refinement", in European Design Automation Conference, EURO-DAC'94. 1994. Grenoble, France, September: to appear.
101. Gibson, P., "Co-Verification using separate UNIX processes for hardware and software.", Swedish Institute of Microelectronics, Technical Report 1992.
102. Gibson, P. and F. Éstman. "Early Integration in Industrial Practice", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck- Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, Presentation Slides and Paper.
103. Glesner, M., et al. "Experiences with HW / SW Codesign for Mechatronic Applications", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
104. Glesner, M., et al., "Experiences with HW/SW Codesign for Mechatronic Applications", 1993, (Presentation Slides): Holzhau, Dresden, Germany, , May 17-19.
105. Glicker, S.M. and F.A. Hosch, "Toward Automating the Execution Timing Analysis of ADA Tasks in Event-Driven Realtime Systems", Technical Report under ARL:UT Independent Research and Development Program, Technical Report ARL-TR-91-4, 1991.
106. Glicker, S.M. and F.A. Hosch, "Data Dependent Execution Timing in Hardware and Software for Realtime Systems", MCC Technical Report, Technical Report MCC-CAD-156-91, 1991.
107. Glunz, W. and G. Venzl. "Hardware design using CASE tools", in VLSI 91. IFIP TC10/WG 10.5 International Conference. 1992. Edinburgh, UK.: IFIP Transactions A (Computer Science and Technology), pp. 237-246.
108. Glunz, W., T. Rsssel, and T. Kruse. "Hardware/Software Co-Design Using SDL", in Second IFIP International Workshop on Hardware/Software Codesign, Codes/CASHE'93. 1993. Innsbruck, Austria, May 24-27: p. 5.
109. Glunz, W., et al. "Integrating SDL and VHDL for System-Level Hardware Design", in 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93; sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC. 1993. Ottawa, Ont., Canada, April 26-28: North Holland, 1993; ISBN 0-444- 81641-0, IFIP Transactions A (Computer Science and Technology) vol.A-32, pp. 187- 204.
110. Glunz, W., "Hardware-Entwurf auf abstrakten Ebenen unter Verwendung von Methoden aus dem Software-Entwurf", 1994, UniversitSt-Gesamthochschule Paderborn:
111. Goettke, R. and E. Brehm, "START - A Tool for Performance and Reliability Evaluation of Hardware / Software Designs", MCC Technical Report, Technical Report MCC-CAD-156-91, 1991.
112. Gong, J., D.D. Gajski, and S. Narayan, "Software Estimation from Executable Specifications",.Journal of Computer and Software Engineering, 1994. : to appear.
113. Gong, J. and D.D. Gajski. "A Performance Evaluator for Parameterized ASIC Architectures", in European Design Automation Conference, EURO- DAC'94. 1994. Grenoble, France, September: to appear.
114. Green, P. and G. Evans. "Experience with Dynamic Modeling", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck- Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
115. Grinewitschus, V., et al. "HW/SW-Partitioning in the DECOS Design Environment", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
116. Gupta, R.K., C.N. Coelho Jr., and G. De Micheli. "Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components.", in 29th Design Automation Conference. 1992. Anaheim, California, USA., June 8 -12: IEEE Computer Society Press, Los Alamitos, CA., pp. 225-230.
117. Gupta, R.K., C.N. Coelho Jr., and G. De Micheli. "Program Implementation Schemes for Hardware-Software Systems", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 17.
118. Gupta, R., "System Synthesis via Hardware-Software Co-Design.", Stanford University, Technical Report CSL-TR 92-548, 1992.
119. Gupta, R.K. and G. De Micheli, "Hardware-Software Cosynthesis for Digital Systems",.IEEE Design and Test of Computers, 1993. 10(3): pp. 29-41.
120. Gupta, R.K., C.N. Coelho, and G. De Micheli, "Program Implementation Schemes for Hardware-Software Systems",.IEEE Computer, 1994. 27(1): pp. 48-55.
121. Gutberlet, P., W. Rosenstiel, and X. Xiong. "A Concept for Partitioning C++ Language", in 3rd International Workshop on Hardware/Software Codesign (Codes/CASHE 94). 1994. Grenoble, France, September 22-24: IEEE Press, Workshop Proceedings, to appear.
122. Hansen, C., E. Barros, and W. Rosenstiel. "A Comparison of some Specification Mechanisms to Support Hardware/Software Codesign", in Second International IFIP Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 5.
123. Hardt, W. and R. Camposano. "Trade-Offs in Hardware/Software Codesign", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 12.
124. Hardt, W., "Specification Analysis for HW/SW- Partitioning", TU Dresden, Technical Report SFB-358-B2-5/94, 1994.
125. Hardt, W., A. GÙnther, and R. Camposano, "Pipelined Interface for HW/SW-Codesign", TU Dresden, Technical Report SFB-358-B2-3/94, 1994.
126. Harel, D., et al. "STATEMATE: a working environment for the development of complex reactive systems", in Third Israel Conference on Computer Systems and Software Engineering. 1988. Tel-Aviv, Israel, 6-7 June: pp. 1-3.
127. Hartenstein, R. "CASHE using a new machine paradigm", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck- Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
128. Hartenstein, R.W., "Hardware / Software Codesign", University of Kaiserslautern, Technical Report No. 246/94, 1994.
129. Hartenstein, R.W., et al. "A Fully Automatic Partitioning Approach to Hardware/Software Codesign", in 3rd International Workshop on Hardware/Software Codesign (Codes/CASHE 94). 1994. Grenoble, France, September 22-24: IEEE Press, Workshop Proceedings, to appear.
130. Hartmann, A.C., "Software or Silicon? The Designer's Option",.Proceedings of the IEEE, 1986. 74(6): pp. 861-874.
131. Henkel, J., T. Benner, and R. Ernst. "Hardware generation and partitioning effects in the COSYMA system", in 2nd International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 12.
132. Henkel, J., et al. "Adaptation of Partitioning and High-Level Synthesis in Hardware/Software Co-Synthesis", in ICCAD'94. 1994. San Jose, California, USA.: to appear.
133. Herpel, H.-J., et al. "A reconfigurable computer for embedded control applications", in IEEE Workshop on FPGAs for Custom Computing Machines. 1993. Napa, CA, USA.: Los Alamitos, CA, USA : IEEE Comput. Soc. Press., pp. 111-120.
134. Herrmann, D., J. Henkel, and R. Ernst. "An approach to the adaptation of estimated cost parameters in the COSYMA system", in 3rd International Workshop on Hardware/Software Codesign (Codes/CASHE '94). 1994. Grenoble, France, September 22-24: IEEE Press, Workshop Proceedings, to appear.
135. Hers*n, R. "Charon - A Co-Simulation Application", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck- Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 18.
136. Holmer, B.K. and B.M. Pangrle. "Hardware/Software Codesign Using Automated Instruction Set Design & Processor Synthesis", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 16.
137. Holtmann, U. and R. Ernst, "Experiments with Low-Level Speculative Computation based on Multiple Branch Prediction",.Transactions on VLSI Systems, 1993. 1(3): September.
138. Holtmann, U. and R. Ernst. "Speculative Computation for Coprocessor Synthesis", in ICCD'93. 1993. pp. 126-131.
139. Hseg, F., N. Mellergaard, and J. Staunstrup, "The Priority Queue as an Example of Hardware/Software Codesign",.Private Communications, 1994. .
140. Hu, X., et al., "Codesign of Architectures for Automotive Powertrain Modules",.IEEE Micro, 1994. : August, to appear.
141. Huang, I.-J. and A.M. Despain. "High Level Synthesis of Pipelined Instruction Set Processors and Back-end Compilers", in 29th Design Automation Conference. 1992. Anaheim, California, USA., June 8 -12: ACM/IEEE,
142. Huang, I.-J., B. Holmer, and A. Despain. "ASIA: Automatic Synthesis of Instruction-set Architectures", in SASIMI Workshop (Synthesis and Simulation Meeting and International Interchange). 1993. Nara, Japan, October:
143. Huang, I.-J. and A.M. Despain. "Hardware/Software Resolution of Pipeline Hazards in Pipeline Synthesis of Instruction Set Processors", in International Conference on Computer Aided Design, ICCAD'93. 1993. November:
144. Huang, I.-J. and A. Despain. "An Extended Classification of Inter- instruction Dependency and Its Application in Automatic synthesis of Pipelined Processors", in 26th International Symposium on Microarchitecture. 1993. Austin, Texas, USA., December:
145. Huang, I.-J. and A. Despain. "Synthesis of Instruction Sets for Pipelined Microprocessors", in 31st Design Automation Conferencee. 1994. San Diego, CA, June: IEEE/ACM,
146. Hughes, R.B. "Formal Methods for Hardware / Software Codesign", in First IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'92). 1992. Grassau, Germany, May 19-21: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
147. Hughes, R.B. and G. Musgrave, "Design-flow graph partitioning",.IFIP Transactions A (Computer Science and Technology), 1993. : vol. A20, pp. 395-404.
148. Hughes, R.B. "Formal Reasoning for Hierarchical Heterogeneous Systems Partitioning", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
149. Iggland, B., "A Market Perspective on Joint Development Methods for Software and Hardware System Components", MCC Technical Report, Technical Report MCC-CAD-156-91, 1991.
150. Ismail, T.B., K. O'Brien, and A.A. Jerraya, "PARTIF: Interactive System-Level Partitioning",.VLSI Design Journal, Gordon & Breach Science Publishers, 1994. : Special Issue on Decomposition Systems.
151. Ismail, T.B., K. O'Brien, and A.A. Jerraya. "Interactive System-Level Partitioning with PARTIF", in European Design Automation Conference (EDAC). 1994. Paris, France, February 28 - March 3: p. 464f.
152. Ismail, T.B., et al. "An Approach For Hardware-Software Codesign", in IEEE International Workshop on Rapid System Prototyping. 1994. Grenoble, France, June 21-23: to appear.
153. Isoaho, J. and A. Jantsch. "DSP Development with Full-Speed Prototyping Based on HW-SW Codesign Techniques", in Fourth International Workshop on Field programmable Logic and Applications. 1994. Prague, FPL'94, September: to appear.
154. Jantsch, A., et al. "Hardware-Software Partitioning and Minimizing Memory Interface Traffic", in European Design Automation Conference (EURO-DAC). 1994. Grenoble, France, September: to appear.
155. Jantsch, A., et al. "A Software Oriented Approach to Hardware/Software Codesign", in International Conference on Compiler Construction. 1994. Proceedings of the Poster Session CC'94, April,
156. Jantsch, A., et al. "A Case Study on Hardware/Software Partitioning", in FCCM '94. 1994. Napa, CA, USA., April 11-13: IEEE Computer Society, preliminary proceedings (final proceedings will become available in mid-summer 1994), p. 8.
157. Jerraya, A.A. and K. O'Brien. "SOLAR: A System-Level Intermediate Format", in First IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'92). 1992. Grassau, Germany, May 19-21: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
158. Jerraya, A.A., K. O'Brien, and I.T. Ben. "Linking System Design Tools and Hardware Design Tools", in 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93; sponsored by IFIP WG10.2 and held in cooperation with IEEE COMPSOC. 1993. Ottawa, Ont., Canada, April 26-28: IFIP Transactions A (Computer Science and Technology) vol.A-32, North Holland, 1993; ISBN 0-444-81641-0, p. 331f.
159. Jerraya, A.A., K. O'Brien, and T. Ben Ismail. "Bridging the Gap between CASE tools and IC CAD tools", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 7.
160. Jin, T. and S. Habib. "An Applicative Specification Approach to Computer System Design", in International Workshop on Hardware- Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7- 8: Workshop Handouts, Selected Paper from the Poster Session, p. 15.
161. Kahlert, S., "Systementwurf mit einheitlichen Beschreibungsmitteln fÙr Hard- und Software", 1992, Technische UniversitSt Chemnitz, Fachbereich Informatik, Lehrstuhl fÙr Rechnersysteme:
162. Kalavade, A. and E. Lee. "Hardware/Software Co-Design Using Ptolemy - A Case Study", in International Workshop on Hardware- Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 18.
163. Kalavade, A. and E.A. Lee, "A Hardware-Software Codesign Methodology for DSP Applications",.IEEE Design and Test of Computers, 1993. 10(3): pp. 16- 28.
164. Kalavade, A. and E.A. Lee. "Manifestations of Heterogeneity in Hardware/Software Codesign", in 31st Design Automation Conference. 1994. San Diego, CA, June: IEEE/ACM, pp. 437-438.
165. Kern, A. and A. Blazevicius, "A Concurrent Hardware and Software Design Environment",.VLSI Systems Design, 1988. 9(8): August, pp. 34- 40.
166. Keutzer, K. "Hardware-Software Co-Design and ESDA", in 31st Design Automation Conference. 1994. San Diego, CA, June: ACM/IEEE, pp. 435-436.
167. KrSmer, H. and J. MÙller. "Assignment of Global Memory Elements for Multi-Process VHDL Specifications", in IEEE/ACM International Conference on Computer-Aided Design. 1992. Santa Clara, California, USA., November 8-12, Digest of Technical Papers: IEEE Computer Society Press, pp. 496-501.
168. Kruse, T., "Verwendung von SDL im Hardware-Entwurf auf der Systemebene", 1992, Technische UniversitSt Chemnitz, Fachbereich Informatik, Lehrstuhl fÙr Rechnersysteme:
169. Kumar, S., et al., "Hardware/Software Modeling & Evaluation in a Unified Codesign Environment", University of Virginia, Technical Report No. 920505.0, 1992.
170. Kumar, S., "A Framework for Hardware / Software Codesign", University of Virginia, Technical Report No. 920525.0, 1992.
171. Kumar, S., et al. "A Framework for Hardware / Software Codesign", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 20.
172. Kumar, S., et al. "Exploring Hardware/Software Abstractions & Alternatives for Codesign", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 15.
173. Kumar, S., et al. "A Framework for Hardware/Software Codesign", in IEEE Computer. 1993. Computing Practices, pp. 39-45.
174. Kumar, S., "Exploring Hardware/Software Abstractions & Alternatives for Codesign", University of Virginia, Technical Report No. 930830.0, 1993.
175. Lagnese, E.D. and D.E. Thomas. "Architectural Partitioning for System Level Design", in 26th Design Automation Conference. 1989. Las Vegas Convention Center, June 25-29: ACM/IEEE, pp. 62-67.
176. Lagnese, E.D. and D.E. Thomas, "Architectural Partitioning for System Level Synthesis of Integrated Circuits",.IEEE Transactions on Computer-Aided Design, 1991. 10(7): July, pp. 847-860.
177. Lavi, J.Z., "Engineering of Computer-Based Systems - Some Fundamental Issues", CBSE Associates, Technical Report received as private communications, 1994.
178. Lee, S. and J.M. Rabaey. "A Hardware-Software Co-Simulation Environment", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 17.
179. Leupers, R. and W. Schenk. "Retargetable Assembly Code Generation by Bootstrapping", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 8.
180. Leupers, R. and P. Marwedel. "Instruction Set Extraction from Programmable Structures", in European Design Automation Conference (EURO-DAC). 1994. Grenoble, France, September: to appear.
181. Leupers, R., W. Schenk, and P. Marwedel. "Retargetable Assembly Code Generation by Bootstrapping", in 7th Int. Symposium on High-Level Synthesis. 1994. to appear.
182. Luk, W., T. Wu, and I. Page. "Hardware-Software Codesign of Multidimensional Programs", in IEEE Workshop on FPGAa for Custom Computing Machines (FCCM '94). 1994. Napa, CA, USA., April 11-13, preliminary proceedings (final proceedings will become available in mid-Summer 1994): IEEE Computer Society, p. 10.
183. Luk, W. and T. Wu. "Towards a Declarative Framework for Hardware-Software Codesign", in 3rd International Workshop on Hardware/Software Codesign (Codes/CASHE 94). 1994. Grenoble, France, September 22-24: IEEE Press, Workshop Proceedings,
184. Lutter, B., W. Glunz, and F.J. Rammig. "Using VHDL for simulation of SDL specifications", in EURO-DAC '92. European Design Automation Conference, EURO-VHDL '92. 1992. Hamburg, Germany: IEEE Computer Society Press, Los Alamitos, CA, USA., Cat. No.92CH3126-0, pp. 630- 635.
185. Madsen, J. and J.P. Brage, "Modeling Shared Variables in VHDL",.Private Communications, 1994. .
186. Manukonda, R. and B. Flegal. "Model Based Hardware/Software Co- Design of Lithography Equipment", in First IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'92). 1992. Grassau, Germany, May 19-21: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
187. Markt & Technik (gs), "Hand in Hand: Design von Prozessoren und Compilern - Gegenseitige Anregungen",.Markt & Technik - Wochenzeitung fÙr Elektronik, 1994. : iss. 19, May 6, pp. 26-29.
188. Markt & Technik (gs), "Akademisches GeplSnkel oder veritable Entwurfsmethodik",.Markt & Technik - Wochenzeitung fÙr Elektronik, 1994. : iss.19, May 6, pp. 22-25.
189. Masson, E., P.C. Bhatt, and V.K. Agarwal. "Morphic Nets: An Intermediate Representation for Co-Design", in International Workshop on Hardware- Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7- 8: Workshop Handouts, Selected Paper from the Poster Session,
190. McFarland, M.C. "Partitioning of Behavioral Hardware Descriptions", in 20th Design Automation Conference. 1983. Miami Beach, Florida, USA., June 27-29: IEEE Computer Society Press, pp. 472- 478.
191. McFarland, M.C., T.J. Kowalski, and M.J. Pemýn. "Language and Formal Semantics of the Specification System CPA", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 26.
192. McFarland, M.C. and T.J. Kowalski. "Formal Verification of CPA Descriptions with Audit", in International Workshop on Hardware- Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7- 8: Workshop Handouts, Selected Paper from the Poster Session, p. 13.
193. Menez, G., et al. "A Partitioning Algorithm for System-Level Synthesis", in IEEE/ACM International Conference on Computer-Aided Design. 1992. Santa Clara, California, USA., November 8-12, Digest of Technical Papers: IEEE Computer Society Press, pp. 482-487.
194. Mertens, P. "Architecture Development using Structured Methods", in First IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'92). 1992. Grassau, Germany, May 19-21: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
195. Narayan, S., F. Vahid, and D.D. Gajski, "System Specification with the SpecCharts Language",.IEEE Design and Test, 1992. : December.
196. Nass, R. "Develop Hardware and Software Simultaneously in One Environment", in Electronic Design. 1989. New Products, Computer- Aided Engineering, p. 137.
197. O'Brien, K., T.B. Ismail, and A.A. Jerraya. "A Flexible Communication Modeling Paradigm for System-Level Synthesis", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 14.
198. O'Donnel, R., "Prolog to: Hardware-Software Co-Design of Embedded Systems",.Proceedings of the IEEE, 1994. 82(7): pp. 965- 966.
199. Olukotun, K. and R. Helaihel. "Automating Architectural Exploration with a Fast Simulator", in International Workshop on Hardware-Software Co- Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, Selected Paper from the Poster Session, p. 15.
200. Éstman, F. and L. Tax*n. "SW/HW co-verification of a telephone exchange: a case study", in First IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'92). 1992. Grassau, Germany, May 19-21: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 9.
201. Peng, Z., J. Fagerstrsm, and K. Kuchcinski, "A Unified Approach to Evaluation and Design of Hardware/Software Systems", MCC Technical Report, Technical Report MCC-CAD-156-91, 1991.
202. Peng, Z. and K. Kuchcinski. "An Algorithm for Partitioning of Application Specific Systems", in European Conference on Design Automation with the European Event in ASIC Design, EURO- DAC'93. 1993. Paris, France, February 22-15: IEEE Computer Society Press, Los Alamitos, California, pp. 316-321.
203. Pfahler, P., et al., "Design of a VLIW architecture constructed from standard RISC chips: a case study of hardware/software codesign",.Microprocessing & Microprogramming, 1993. 38(1- 5): pp. 61-68.
204. Philipson, L., "Multilevel Design and Verification of Hardware / Software Systems",.IEEE Journal of Solid-State Circuits, 1990. 25(3): pp. 714-719.
205. Poechmueller, P., et al. "High-level synthesis in an FPGA-based computer aided prototyping environment", in Second International Workshop on Field Programmable Logic and Applications. 1992. Vienna, Austria, 31 August - 2 September: Springer-Verlag, Berlin, Germany, pp. 96-105.
206. Purvis, M.K. and D.W. Franke. "An overview of hardware/software codesign", in IEEE International Symposium on Circuits and Systems (Cat. No.92CH3139-3). 1992. San Diego, CA, USA., 10-13 May: IEEE, New York, NY, USA, p. 6.
207. Rajaei, H. and R. Ayani, "Design Issues in Parallel Simulation Languages",.IEEE Design and Test, 1993. 10(4): pp. 52-63.
208. RASSP. "Enterprise - The Quarterly Newsletter", in . 1994. Published for the RASSP Community by Martin Marietta Corporation,
209. Ravn, A.P. and J. Staunstrup, "Interface Models",.Private Communications, 1994. .
210. Romdhani, M., "Compilation du langage SDL en vue d'une r*alisation mat*rielle", INPG/TIM3, Technical Report 1992.
211. Rowson, J.A. "Hardware / Software Co-Simulation", in 31st Design Automation Conference. 1994. San Diego, CA, June: IEEE, pp. 439-440.
212. Rozenblit, J.W. "A Note on CODES & CASH(E) (Presentation Slides)", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck- Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2,
213. Rozenblit, J.W. "A Note on CODES & CASH(E)", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 8.
214. Rozenblit, J. and K. Buchenrieder, "Codesign: Computer-Aided Software/Hardware Engineering", 1994, Piscataway, NJ, USA.: IEEE Press. p. 408.
215. Salinas, M.H., B.W. Johnson, and J.H. Aylor, "Implementation- Independent Model of an Instruction Set Architecture in VHDL",.IEEE Design and Test of Computers, 1993. 10(3): pp. 42- 54.
216. Schaffer, C. and H. Praehofer. "On Requirements for a CAST-Tool for Complex, Reactive System Analysis, Design and Evaluation", in Third International Workshop on Computer Aided Systems Theory - EUROCAST '93. 1993. Springer-Verlag, Berlin, Germany, pp. 137-159.
217. Sedlmeier, A., et al. "Discussion Group Results", in First IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'92). 1992. Grassau, Germany, May 19-21: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 9.
218. Shi, C.-J.R. "Towards A Unified Operational Semantics for Behavior Specification of VLSI Systems", in International Workshop on Hardware- Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7- 8: Workshop Handouts, p. 10.
219. Smailagic, A. and D.P. Siewiorek, "A Case Study in Embedded- System Design: The VuMan 2 Wearable Computer",.IEEE Design & Test of Computers, 1993. 10(3): pp. 56-67.
220. Smith, C.U., F.A. Geoffrey, and J.L. Cuadrado. "An Architecture Design and Assessment System for Software/Hardware Codesign", in 22nd Design Automation Conference. 1985. Las Vegas, Nevada, USA., June23-26: IEEE CS Press, Order No. 635 (microfiche only), pp. 417- 424.
221. Soderquist, P.G. and M.E. Leeser. "Implementing Floating-Point Square Root Computation with Newton's Method. A Case Study in Hardware / Software Partitioning", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 15.
222. Srivastava, M.B. and R.W. Brodersen. "Rapid-Prototyping of Hardware and Software in a Unified Framework", in International Conference on Computer-Aided Design. 1991. Santa Clara, USA., November: IEEE Computer Society Press, pp. 152-155.
223. Srivastava, M.B., T.I. Blumenau, and R.W. Brodersen. "Design and Implementation of a Robot Control System Using a Unified Hardware- Software Rapid-Prototyping Framework", in 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors. 1992. Cambridge, Massachusetts, USA., October 11-14: IEEE Computer Society Press, pp. 124-127.
224. Steinhausen, U., et al. "System-Synthesis using Hardware / Software Codesign", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 11.
225. Stoy, E. and Z. Peng. "A Design Representation for Hardware/Software Co-Synthesis", in Euromicro Conference on System Architecture and Integration, Euromicro 94. 1994. Liverpool, UK, September 5-8: to appear.
226. Stoy, E. and Z. Peng. "An Integrated Modeling Technique for Hardware/Software Systems", in IEEE International Symposium on Circuits and Systems, ISCAS 94. 1994. London, UK, May 30 - June 2: to appear.
227. Stroud, C.E. "Problems Associated with Hardware Implementation of Software Algorithms using Behavioral Model Synthesis", in International Workshop on Hardware-Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts,
228. Subrahmanyam, P.A. "Hardware-Software Codesign: Cautious optimism for the future", in IEEE Computer. 1993. Hot Topics, p. 84.
229. Sun, J.S. and R.W. Brodersen. "Design of System Interface Modules", in IEEE/ACM International Conference on Computer-Aided Design. 1992. Santa Clara, California, USA., November 8-12, Digest of Technical Papers: IEEE Computer Society Press, pp. 478-481.
230. Tanir, Agarwal, and Bhatt. "A Co-Design Environment for Architectural-Level Telecommunication Design Exploration", in International Workshop on Hardware- Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7- 8: Workshop Handouts,
231. Tanurhan, Y., J. Bortolazzi, and K.D. MÙller-Glaser. "An Approach to the Integration of Formal and Executable Specifications of Heterogenous Systems and Performance Modeling", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 28.
232. ten Hagen, K. and H. Meyr. "Concurrent Design of a Chipset and its Runtime Environment", in Fifth International ASIC Conference. 1992. September: IEEE, pp. 525-528.
233. ten Hagen, K. and H. Meyr. "Timed and Untimed Hardware / Software Co-simulation: Application and Efficient Implementation", in International Workshop on Hardware- Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7- 8: Workshop Handouts, p. 14.
234. ten Hagen, K. and H. Meyr. "Partitioning and Surmounting the Abstraction Gap in Hardware-Software Codesign", in International Conference on Computer Design (ICCD). 1993. Boston, Massachusetts, USA., October: IEEE, pp. 462- 465.
235. ten Hagen, K. and H. Meyr, "Codesign of a parallel Architecture and an optimizing Compiler Backend: SIN Rete Processing as a Case Study",.Design Automation of Embedded Systems, 1994. : submitted, p. 24.
236. Terry, C., "Concurrent hardware and software design benefits embedded systems",.EDN - Electronic Design News, 1990. : July, iss. 5, pp. 148-154.
237. Thomas, D.E., J.K. Adams, and H. Schmitt, "A Model and Methodology for Hardware- Software Codesign",.IEEE Design and Test of Computers, 1993. 10(3): pp. 6-15.
238. Thom*, B. "CBSE and Codesign - An opportunity for common progress", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 12.
239. Turn, R. "Hardware-Software Tradeoffs in Reliable Software Development", in Eleventh Annual ASILOMAR Conference on Circuits, Systems, and Computers. 1978. University of Santa Clara, CA., USA., November 7-9: IEEE, University of Santa Clara, and Naval Postgraduate School, pp. 282-288.
240. Vahid, F. and D.D. Gajski. "Specification Partitioning for System Design", in 29th Design Automation Conference. 1992. Anaheim, California, USA., June 8-12: ACM/IEEE, pp. 219-224.
241. Vahid, F., S. Narayan, and D. Gajski. "A Transformation for Integrating VHDL Behavioral Specification and Synthesis", in European Design Automation Conference (EURO-DAC). 1994. Grenoble, France: to appear.
242. Vahid, F. and D.D. Gajski, "A New Method for Rapid Hardware Estimation during Hardware/Software Functional Partitioning", UC Irvine ICS Technical Report, Technical Report TR 92-29, 1994.
243. Vahid, F., J. Gong, and D.D. Gajski. "A Hardware-Software Partitioning Algorithm for Minimizing Hardware", in European Design Automation Conference (EURO-DAC). 1994. Grenoble, France, September: to appear.
244. Van Dun, J. and L. Jadoul. "HdS/H Cosim: a cosimulation prototype applied in the formal design of telecom PBA's", in Second IFIP International Workshop on Hardware/Software Codesign (Codes/CASHE'93). 1993. Innsbruck-Igls, Austria, May 24-27: Sponsored by IFIP WG 10.5 in cooperation with IFIP WG 10.2, p. 6.
245. Veith, C., "Codesign", in Newsletter of the Task Force Engineering of Computer-Based Systems, IEEE Computer Society1994, p. 1.
246. Wada, Y., "A Position Paper: HW/SW CoDesign for Large Scale Industrial Plant Controller Systems", MCC Technical Report, Technical Report MCC-CAD-156-91, 1991.
247. Walkup, E.A. and G. Borriello. "Automatic Synthesis of Device Drivers for Hardware/Software Codesign", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Extended Abstract and Presentation Slides, Workshop Handouts, p. 4.
248. Waxman, R., et al., "Design & Test Roundtable: Hardware / Software Codesign",.IEEE Design & Test of Computers, 1993. 10(1): pp. 83-91.
249. Wenban, A.S., J.W. OÕLeary, and G.M. Brown. "Codesign of Communication Protocols", in International Workshop on Hardware- Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts,
250. Wenban, A.S., J.W. O'Leary, and G.M. Brown, "Codesign of Communication Protocols",.IEEE Computer, 1993. 26(12): pp. 46-52.
251. Wolf, W. and E. Frey. "Tutorial on Embedded System Design", in 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors. 1992. Cambridge, Massachusetts, USA., October 11-14: IEEE Computer Society Press, pp. 18-21.
252. Wolf, W. and J.C. Martinez. "C Program Performance Estimation for Embedded Systems Architecture Sizing", in International Workshop on Hardware-Software Co-Design. 1993. Cambridge, Massachusetts, USA., October 7-8: Workshop Handouts, p. 12.
253. Wolf, W., "Special Issue on Hardware/Software Codesign",.IEEE Design and Test, 1993. 10(3): p. 5.
254. Wolf, W.H., "Hardware-Software Co-Design of Embedded Systems",.Proceedings of the IEEE, 1994. 82(7): pp. 967-989.
255. Woo, N., W. Wolf, and A. Dunlop. "Compilation of a single specification into hardware and software", in International Workshop on Hardware- Software Co-Design. 1992. Estes Park, Colorado, USA., September 30 - October 2: Workshop Handouts, p. 17.
256. Woo, N.S., A.E. Dunlop, and W. Wolf, "Codesign from Cospecification",.IEEE Computer, 1994. 27(1): pp. 42-47.
257. Ye, W., et al. "Fast Timing Analysis for Hardware-Software Co- Synthesis", in ICCD '93. 1993. Cambridge, Massachusetts, USA.: IEEE Society Press, 452-456.
