SYNTHESE ASSISTEE DE MONITEURS D'ASSERTIONS A PARTIR D'UNE METHODOLOGIE D'ENCAPSULATION D'ASSERTIONS DANS UNE SPECIFICATION EXECUTABLE.POMPES PAR TRANSITIONS MULTIPLES

منو

" SYNTHESE ASSISTEE DE MONITEURS D'ASSERTIONS A PARTIR D'UNE METHODOLOGIE D'ENCAPSULATION D'ASSERTIONS DANS UNE SPECIFICATION EXECUTABLE.POMPES PAR TRANSITIONS MULTIPLES "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	153395
Doc. No	:	ET25187
Main Entry	:	JEAN-FRANCOIS LEMIRE
Title Proper	:	SYNTHESE ASSISTEE DE MONITEURS D'ASSERTIONS A PARTIR D'UNE METHODOLOGIE D'ENCAPSULATION D'ASSERTIONS DANS UNE SPECIFICATION EXECUTABLE.POMPES PAR TRANSITIONS MULTIPLES
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	Functional verification has become an important bottleneck in everymicroelectronics development process. One of today's greatest verification challenges isto provide new methodologies and more automation to reduce the time required to create.
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL49418.pdf
Title and statement of responsibility and	:	SYNTHESE ASSISTEE DE MONITEURS D'ASSERTIONS A PARTIR D'UNE METHODOLOGIE D'ENCAPSULATION D'ASSERTIONS DANS UNE SPECIFICATION EXECUTABLE.POMPES PAR TRANSITIONS MULTIPLES [Thesis]