Incorporating cores into system-level specification

F. Vahid, T. Givargis
Proceedings. 11th International Symposium on System Synthesis (Cat. No.98EX210)  
We describe an approach for incorporating cores into a system-level speci cation. The goal is to allow a designer to specify both custom behavior and pre-designed cores at the earliest design stages, and to re ne both into implementations in a uni ed manner. The approach is based on experience with an actual application of a GPSbased navigation system. We use an object-oriented language for speci cation, representing each core a s a n o bject. We de ne three speci cation levels, and we evaluate
more » ... ls, and we evaluate the appropriateness of existing inter-object communication methods for cores. The approach forms the speci cation basis for the Dalton project.
doi:10.1109/isss.1998.730595 dblp:conf/isss/VahidG98 fatcat:d6nxl5vrwrao5jwm5f33krf4aa