المؤلفون: Ho, Chia-Tung

مصطلحات موضوعية: Computer engineering, Complementary-FET (CFET), Design Technology Co-Optimization, Machine Learning, SMT (Satisfiability Modulo theories), Standard Cell Synthesis, System Technology Co-Optimization

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/2ts172zd

المؤلفون: Barrett, Clark, Deters, Morgan

المساهمون: NEW YORK UNIV NY

المصدر: DTIC

مصطلحات موضوعية: Computer Programming and Software, Computer Hardware, VERIFICATION, COMPUTER PROGRAMS, COMPUTERS, MODEL CHECKING, SMT(SATISFIABILITY MODULO THEORIES), HARDWARE

وصف الملف: text/html

Relation: http://www.dtic.mil/docs/citations/ADA592937

الاتاحة: http://www.dtic.mil/docs/citations/ADA592937
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA592937

المؤلفون: NEW YORK UNIV NY, Barrett, Clark, Deters, Morgan

المصدر: DTIC

مصطلحات الفهرس: Computer Programming and Software, Computer Hardware, VERIFICATION, COMPUTER PROGRAMS, COMPUTERS, MODEL CHECKING, SMT(SATISFIABILITY MODULO THEORIES), HARDWARE, Text

URL: https://apps.dtic.mil/docs/citations/ADA592937