By Topic

An experiment in applying knowledge-based software engineering technology

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Bailor, P.D. ; Dept. of Electr. & Comput. Eng., Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA ; Young, F. ; Kanzaki, K.

Presents the results of an experiment at applying knowledge-based software engineering technology to hardware/software co-design. The Reacto verification system, developed by the Kestrel Institute, was used to create a high-level, formal-based interface to VHDL which can effectively model both hardware and software design components. In addition to the theorem proving and simulation capabilities already provided to Reacto, extensions were made to incorporate time constraints, and compiler-based language mappings for generating VHDL from Reacto specifications were defined. Our experimental results clearly indicated the complimentary nature and benefits of developing high-level, formally defined interfaces between languages like Reacto and VHDL

Published in:

Knowledge-Based Software Engineering Conference, 1993. Proceedings., Eighth

Date of Conference:

20-23 Sep 1993