LEADER 02018oam 2200433zu 450 001 9910141336503321 005 20241212220213.0 035 $a(CKB)2670000000146746 035 $a(SSID)ssj0000669943 035 $a(PQKBManifestationID)12239473 035 $a(PQKBTitleCode)TC0000669943 035 $a(PQKBWorkID)10715781 035 $a(PQKB)11597286 035 $a(NjHacI)992670000000146746 035 $a(EXLCZ)992670000000146746 100 $a20160829d2011 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a2011 12th International Workshop on Microprocessor Test and Verification 210 31$a[Place of publication not identified]$cIEEE$d2011 215 $a1 online resource 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780769545943 311 08$a0769545947 311 08$a9781457721014 311 08$a1457721015 330 $aThe 40 years since the appearance of the Intel 4004 deeply changed how microprocessors are designed. Today, essential steps in the validation process are performed relying on physical dices, analyzing the actual behavior under appropriate stimuli. This paper presents a methodology that can be used to devise assembly programs suitable for a range of on-silicon activities, like speed debug, timing verification or speed binning. The methodology is fully automatic. It exploits the feedback from the microprocessor under examination and does not rely on information about its microarchitecture, nor does it require design-for-debug features. The experimental evaluation performed on a Intel Pentium Core i7-950 demonstrates the feasibility of the approach. 606 $aMicroprocessors$vCongresses 615 0$aMicroprocessors 676 $a004.16 702 $aIEEE Staff 801 0$bPQKB 906 $aPROCEEDING 912 $a9910141336503321 996 $a2011 12th International Workshop on Microprocessor Test and Verification$92319060 997 $aUNINA LEADER 02582nam0 22005893i 450 001 VAN00289621 005 20260129125921.576 017 70$2N$a9789401129220 100 $a20250320d1992 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aClifford Algebra and Spinor-Valued Functions$eA Function Theory for the Dirac Operator$fby R. Delanghe, F. Sommen and V. Sou?ek §§; related REDUCE software by F. Brackx and D. Constales 210 $aDordrecht [etc.]$cSpringer-Verlag$d1992 215 $axvii, 485 p.$cill.$d24 cm 410 1$1001VAN00022423$12001 $aMathematics and its applications$1210 $aDordrecht$cReidel$d1977-2007$1300 $aL'editore varia in: Kluwer ; [poi] Springer$v53 606 $a15A66$xClifford algebras, spinors [MSC 2020]$3VANC022018$2MF 606 $a30Gxx$xGeneralized function theory [MSC 2020]$3VANC033890$2MF 606 $a53-XX$xDifferential geometry [MSC 2020]$3VANC019813$2MF 606 $a53C21$xMethods of global Riemannian geometry, including PDE methods; curvature restrictions [MSC 2020]$3VANC022960$2MF 606 $a53C27$xSpin and Spin$^c$ geometry [MSC 2020]$3VANC023943$2MF 610 $aClifford Algebra$9KW:K 610 $aComplex Analysis$9KW:K 610 $aComputation$9KW:K 610 $aComputers$9KW:K 610 $aDevelopment$9KW:K 610 $aDirac operator$9KW:K 610 $aFunctions$9KW:K 610 $aGroups$9KW:K 610 $aHarmonic analysis$9KW:K 610 $aLaplace operators$9KW:K 610 $aManifolds$9KW:K 610 $aSolutions$9KW:K 610 $aTools$9KW:K 610 $aVolume$9KW:K 620 $aNL$dDordrecht$3VANL000068 700 1$aDelanghe$bRichard$3VANV244620$056586 701 1$aSommen$bFranciscus$3VANV075036$067247 701 1$aSou?ek$bVladimir$3VANV244621$055345 712 $aSpringer $3VANV108073$4650 790 1$aSommen, Frank$zSommen, Franciscus$3VANV244622 801 $aIT$bSOL$c20260130$gRICA 856 4 $uhttps://doi.org/10.1007/978-94-011-2922-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00289621 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 11146 $e08eMF11146 20250519 996 $aClifford Algebra and Spinor-Valued Functions$94326918 997 $aUNICAMPANIA