A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
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 evaluatedoi:10.1109/isss.1998.730595 dblp:conf/isss/VahidG98 fatcat:d6nxl5vrwrao5jwm5f33krf4aa