Till Neunast Knihy

Ein innovativer Ansatz zur Effizienzsteigerung im digitalen Schaltungsentwurf wird vorgestellt, der die Simulationsgeschwindigkeit durch die Reduzierung der verarbeiteten Ereignisse optimiert. Dies geschieht durch die Zusammenfassung räumlich und zeitlich nah beieinander liegender Schaltungselemente und Ereignisse. Die vorgestellten Verfahren sind unabhängig von Verzögerungs- und Werteratierungen und können auf verschiedenen Abstraktionsebenen eingesetzt werden, ohne die Genauigkeit zu beeinträchtigen. Experimentelle Ergebnisse zeigen eine durchschnittliche Geschwindigkeitssteigerung von etwa 50% auf der Gatterebene. Das Buch richtet sich an Wissenschaftler sowie Entwickler von Entwurfs- und Simulationssoftware.

Die Verifikation beim digitalen Schaltungsentwurf erfolgt üblicherweise mittels ereignisgesteuerter Simulation des Schaltungsmodells. Der Simulationsaufwand beeinflußt die Entwurfskosten wesentlich und steigt mit der Schaltungskomplexität. Diese Arbeit präsentiert einen neuen Ansatz zur Aufwandsverminderung, der eine Steigerung der Simulationsgeschwindigkeit durch Reduzierung der Anzahl der während der Simulation zu verarbeitenden Ereignisse erreicht. Diese Reduzierung basiert auf der Zusammenfassung von einerseits räumlich nah beieinander liegenden Schaltungselementen und andererseits zeitlich nah beieinander liegenden Ereignissen. Die beiden beschriebenen Verfahren sind unabhängig von Verzögerungs- und Wertemodellierung und können daher ohne Genauigkeitsverlust auf unterschiedlichen Abstraktionsebenen des Entwurfs eingesetzt werden. Die Effektivität der Verfahren ist für die Gatterebene experimentell nachgewiesen, wobei eine durchschnittliche Geschwindigkeitssteigerung von annähernd 50% erreicht wird. Das Buch richtet sich neben Wissenschaftlern an Anbieter und Entwickler von Entwurfs- und Simulations-Software sowie an Hardware-Entwickler.