TITLE: Utilizing Synthesis to Verify Boolean Function Models

AUTHORS: Azam Beg, W. Ibrahim, P.W.C. Prasad, and Emad Abu-Shama

PUBLICATION/VENUE: IEEE International Symposium on Circuits & Systems (ISCAS'08), May 2008, pp. 1576-1579.


In the past, instruction fetch speeds have been improved by using cache schemes that capture the actual program flow. In this paper, we elaborate on the architecture and operation of an instruction cache named Variable-Sized Block Cache (VSBC) that also makes use of the dynamic behavior of a program. Current trace-based cache schemes usually have some instructions stored repeatedly; this redundancy is eliminated in VSBC. Our cache also allows storage of basic blocks of arbitrary sizes, in multiple-way cache structure. An overall comparison of trace miss rate and average trace length shows VSBC to be a better performing cache scheme than TC, using SPECint2000 integer benchmarks.


CITATIONS: Google | Yahoo