| |
 |
 |
| |
 |
|
| |
|
|
¼Ò«¬¤ÆµL½u¨t²Î³]p¤è¿³¥¼¦ã
( 2007¦~9¤ë1¤é)
Mike Woodward, The MathWorks
|
¦b§Þ³N©M¥«³õªºÂù«À£¤O¤§¤U¡A§Ö³t³]pµL½u¨t²Î¨Ã³Ð³yÀ禬ªº¬D¾Ô·U¨Ó·U°ª¡C¯S§O¬OµL½u¼Ð·Ç¸û¬°½ÆÂø¡A³]³Æ¤¤¥²¶·¾ã¦X¦hºØµL½u¼Ð·Ç¡A¦]¦¹¡AµL½u±M¥Î¿nÅé¹q¸ô(ASIC)ªº¥ý¦æÀu¶Õ±N¨M©wÀò§Q¤ô·Ç¡C®Ú¾Ú°ê»Ú¥b¾ÉÅé§Þ³Nµo®iÂŹÏ(International Technology Roadmap for Semiconductors, ITRS)¡A³]p¦¨¥»¬O¥b¾ÉÅé§Þ³NÂŹϯà§_¶i¦æ¤U¥hªº³Ì¤j¬D¾Ô3¡C¤£©¯ªº¬O¡A²£·~¤¤±Ä¨úªº¹ê½î¤èªk©¹©¹³y¦¨°ÝÃD¡A¦Ó¤£¬O¸Ñ¨M°ÝÃD¡Cªí1¦C¥X¤F¥Dnªº³]pÃøÃD©M¬ÛÃöªº¥¢±Ñì¦]¡C
³z¹L¬Y¨Ç¤èªk¥i¥HÁ×§K³]p¥¢±Ñ¡A§ïµ½«~½è©M¤W¥«®É¶¡¡A¨Ï¸ê·½¨Ï¥Îªº®Ä¯q³Ì¤j¤Æ¡C¦ý¬O¡A§ïÅܳ]p¬yµ{·¥¬°«_ÀI¡A¬°¤F±±¨î·ÀI¡A§ÚÌ«ØÄ³¦b²{¦³ªº³]p¬yµ{¤¤±Ä¨ú·sªº«ä·Q©Î·§©À(§Y±Ä¨ú³vº¥ºt¤Æ¡A¦Ó¤£¬O²·sªº¤è¦¡)¡C¥»¤å±N°Q½×¦p¦ó¦b²{¦³ªº³]p¬yµ{¤¤±Ä¥Î¼Ò«¬¤Æ³]p¤èªk¡A¥HÁYµu²£«~¤W¥«®É¶¡¡B´£°ª²£«~«~½è¡B°§C¦¨¥»¡C
¼Ò«¬¤Æ³]pªº°ò¥»·§©À
¼Ò«¬¤Æ³]pªº®Ö¤ß·§©À´N¬O¡A¦b³]p¹Lµ{ªº¥|Ó¤£¦P¶¥¬q¡A¨Ï¥Î¥i°õ¦æªº¨t²Î¼Ò«¬§@¬°¤u§@ªº°ò¦ (¹Ï1)¡C¦P¤@Ó¨t²Î¥i¥H§@¬°¥i°õ¦æ³W®æ»¡©ú¡B¨t²Î³]p¤èªk¡B¥N½X²£¥Í°ò¦©M³sÄò´ú¸Õ®ÕÅ窺¤â¬q¡C¦b«á±¦U¸`¡A§Ú̵۫©ó³o¥|Ó³]p¶¥¬qªº°Q½×¡C
¦b¾ãÓ³]p¹Lµ{¤¤¡AÀ³±Ä¥Î¨ã¦³¬Û¦P§Î¦¡ªº¼Ò«¬¡A¥HÁ×§K¦b¤£¦P³]p¶¥¬q«½Æ³Ò°Ê¡C¦]¦¹¡A³]pÀô¹ÒÀ³¸Ó¯à¶i¦æ½Æ°ì(Multidomain)¼ÒÀÀ¡A¨Ï¼Æ¦ì¡BÃþ¤ñ©MRF¤¸¥ó¦b¤@Ó¼Ò«¬¤¤¶i¦æ¼ÒÀÀ¡C¦pªG¤£«Ø¥ßRF¼ÒÀÀ¯à¤O¡A«ÜÃø¦bC/C++¼Ò«¬¤W°µ¨ì¡C¦]¦¹¡A¼Ò«¬¤Æ³]p»Ýn§Q¥Î²{¦¨ªº¥«°â³]p©M¼ÒÀÀ¥¥x¡A¦pSimulink¡C®Ö¤ß«ä·Q¬On§â³]p©M¼ÒÀÀÀô¹Ò»P¼Ò«¬¤ÀÂ÷¡A¨Ï¶}µo¤u§@¶°¤¤¦b¼Ò«¬¤W¡A¦Ó¤£¬O¤u¨ãÀô¹Ò¤W¡C
¶¥¬q1:¥i°õ¦æ³W®æ»¡©ú(Executable specification)
¥i°õ¦æ³W®æ»¡©ú¬O¨t²Î¯Åªº³W®æ¡A°ò¥»¤W¬O¨t²Î¼Ò«¬¡A³z¹L°õ¦æ²£¥Íµ²ªG¡A¨ÓÃÒ©ú¸Ó³W®æ¯à°÷º¡¨¬n¨D¡C¨Ò¦p¡A¥i¥H¤£¦b¤å¥ó¤W«ü©w«H¾¸¤ñ(SNR)®É´T¿ù»~²v(Frame-error rate, FER)À³¸Ó§C©ó¬YӬɡA¦Ó¬O«Ø¥ß¤@Ó³W®æ(¨t²Î¼Ò«¬)¡A¸Ó³W®æ¥i¥H¦b«ü©wªº«H¾¸¤ñ¤U¹B¦æ ¡A±o¨ì§C©ó³]p¬Éªº´T¿ù»~²v¡A±q¦ÓÃÒ©ú¸Ó³W®æ¬O¥i¥H¹ê²{ªº(¹Ï2)¡CITRS¦ôp¡A±Ä¥Î¥i°õ¦æ³W®æ»¡©ú¥i¥H100%¨ì200%ªº¿²v´£°ª³]p¥Í²£²v3 ¡C
®Ú¾Ú©w¸q¡A¥i°õ¦æ³W®æ¬O¥i°õ¦æªº¡A¦]¦¹¡A¨Ï¥Î¥i°õ¦æ³W®æ»¡©úªº¤uµ{®v¥iÀˬdªº¿é¤J¡B¿é¥X¥H¤Î¾Þ§@±ø¥óªº½d³ò¡A³£¤ñ¨Ï¥Î®Ñ±³W®æ®Én¼e±o¦h¡A¹³¬O¥i¨Ï¥Î½d³ò§ó¼sªº³q¹D¼Ò«¬¡C³oºØ¼u©Ê¨Ï³W®æ»¡©úªº¦æ¬°§ó¬°¥þ±¡A¦]¬°³W½d¬O¥i´ú¸Õ¡A©Ò¥H¡A¦b³]p¹Lµ{¤¤¡A¥i°õ¦æ³W®æ»¡©úµo²{¿ù»~¯à¥H«e¦±o¦h6 ¡C
§Q¥Î¥i°õ¦æ¼Ò«¬¨Ó¨ú¥N©Î»²§U®Ñ±³W®æ»¡©ú¡A¬O¬Û·íª½±µªº¨BÆJ¡AµM¦Ó¡A¥u¦³¦b¼Ò«¬¥Î©ó³]p¹Lµ{¤¤ªº¦h¶µ¬¡°Ê¤¤®É¡A¼Ò«¬¤Æ³]pªº¯u¥¿Àu¶Õ¤~¯à¥R¤ÀÅã²{¥X¨Ó¡C
¶¥¬q2:¥Î¼ÒÀÀ³]p
³]p®v»Ýn¹ï¦UºØ¤£¦Pªº³]p¿ï¶µ¾¨§Ö§@¥Xµû¦ô¡C¹ï©ó°ò©óC/C++ªº¨t²Î¼Ò«¬¡A¥Ñ©ó»Ýn¦h¦¸«·s½sĶ©M×§ï¥N½X¡A§ïÅÜ¥¦ªºµ²ºc·|«Ü¶O®É¡C¦Ó¥«°âªº¼ÒÀÀ¥¥x³q±`¬°°ò©ó¹Ï§Î¡A©Ò¥H¤£»Ýn«½sĶ©Î§ïÅܤ¸¥ó¤¶±´N¥i¥H«·s³]¸m¡A¹ï¤¸¥ó¾É¦Vªº³]p¤èªk·¥¦³À°§U¡A¯S§O¬O¬ãµo¹Î¶¤ªº¦a°ì¤À§G«Ü¼sªº¤½¥q¡C
³\¦h¥«°âªº¼ÒÀÀ¥¥x¥Î¬Û¦Pªº¼Ò«¬¬J¥i°µ¯BÂI¼ÒÀÀ¡A¤]¥i§Q¥Î¤ä´©¥¥xªº©wÂI¤ÞÀº°µ©wÂI¼ÒÀÀ¡C¥ú³oÓ¯à¤O´N¥i¨Ï¥Í²£²v¤j´T´£°ª¡A¦]¬°³]p®v¤£¦A»Ýn¥Î©wÂI®æ¦¡¨Ó«·s¼g¼Ò«¬¤F¡C¯àµû¦ô¦hÓ³]pªº©wÂI©Ê¯à¡A¹ï©ó°ò©óC/C++ªº±M®×¦Ó¨¥¡A´X¥G¬O¤£¥i¯àªº¥ô°È¡C
¹ï±Ä¥Î¼Ò«¬¤Æ³]p¤èªkªº³]p®v¨Ó»¡¡A³Ì¤j¯q³B¦b©ó¸Ó¤èªk¯à°÷¹ï¸ó»â°ì³]p¶i¦æºî¦X¦Ò¹î¡A¦b¦¹´Á¶¡¥i¥H¦Ò¹î¦b¤@Ó°ì§ïÅܤ@Ó¤¸¥ó¹ï¾ãÓ¨t²Îªº¼vÅT¡C¨Ò¦p¡A¨Ò¦p¡A¥i·Q¹ï¨Ï¥Î¸û«K©yªº¥\²v©ñ¤j¾¹¡B°t¦X¨Ï¥Î¼Æ¦ì¹w¥¢¯uÂoªi¾¹ªº®ÄªG¶i¦æ¦Ò¹î¡C³oºØ¨t²Î¯Å§Oªº¤èªk¡A¯à¹F¦¨¨ä¥L¤èªkµLªk§@¨ìªº¥ô°È¡C¼Ò«¬¤Æ³]p¯à´£°ª¥Í²£®Ä²v¡A³]p¤uµ{®v±o¥HÀ˵ø§ó¦hªº³]p¡A¥H¿ï¾Ü¥i¦æ©Ê³Ì°ªªº³]p¡C
¶¥¬q3:¹ê¦a«Ø¸m
¼Ò«¬¤Æ³]pªº«nÀu¶Õ¦b©ó¡A¥i°õ¦æ³W®æ»¡©ú©Î¥Î¨Ó²£¥Í¹ê²{¥N½X¡C¾¨ºÞ³o¨Ç¥N½X¥i¯à¦³®É¤£¦p¤â¤u¼gªº¥N½X®Ä²v°ª¡A¦ý¥¦¯à¨Ï¤uµ{®v²£¥Í¥i¤u§@ªºì«¬¡A¦Ó¤£»Ýn¨C¦¸§ïÅܳ]p´N»Ýn«¼g¥N½X¡C¥t¥~¡A»P¤â¤u½sµ{¬Û¤ñ¡A¦Û°Ê²£¥Íªº¥N½X¥iÅãµÛ´î¤Ö¤Þ¤J½sµ{¿ù»~ªº¦MÀI¡C·íµM¡A¦Û°Ê²£¥Íªº¥N½X¥i»P¤â¤u½sµ{¦P®É¨Ï¥Î¡Aݱo¤GªÌªºÀuÂI¡C°ò©ó®Ä¯à¦Ò¶q¡A¶Ç²Î¤W¦bµL½u»â°ìÁ×§K¨Ï¥Î¦Û°Ê²£¥Íªº¥N½X¡A¦ý¥Ñ©ó¥N½X²£¥Í§Þ³Nªº¶i¨B©M³]p½ÆÂø©Êªº¼W¥[¡A¨Ï¤â¤u½s¼g¾ãÓ±M®×ªº¥N½XÅܱoÃø¦pµn¤Ñ¡A³oӶDzΥ¿³vº¥³Q¤Hìè±ó¡C
¶¥¬q4:´ú¸Õ©M®ÕÅç
³z¹L´£°ª©â¶H¼h¦¸¡A°ò©ó¼Ò«¬ªº³]p¹ï´ú¸Õ©M®ÕÅç¹Lµ{«Ü¦³À°§U¡C¦pªG¨Ï¥Î¥i°õ¦æ³W®æ»¡©ú¡A¬Æ¦Ü¦b¸Ó³W®æ»¡©úµo§G«e´ú¸Õ¹Lµ{´N¥i¥H¶}©l¤F¡A¦ý¼Ò«¬¤Æ³]p¹ï®ÕÅç¤u§@ÁÙ¦³¨ä¥LªºÀuÂI¡C
¥Ø«e·~¬É¼sªx±Ä¥Î¼Ò«¬§@¬°³nÅé¡BµwÅé©M³B²z¾¹¦b°j¸ô´ú¸Õªº´ú¸Õ¤â¬q¡A¼Ò«¬ÁÙ¥i¥Î©ó²£¥Í´ú¸Õ¦V¶q¡A¬Æ¦ÜÁÙ¥i¥H§@¬°°ò·Ç¡A§@¬°¨ãÅé¹ê²{ªº¤ñ¸û¡C³z¹L¦b´ú¸Õ¤u¨ã¤¤¥[¤J³]p©M¼ÒÀÀ³nÅé¡A´X®a´ú¸Õ¤u¨ã»s³y°Ó(¦pAgilent¡BAnritsu©MLeCroy)¤w¶}©l±q¼Ò«¬¤Æ³]p¤¤¨ü¯q¡C
¼Ò«¬¤Æ³]p©MIP«½Æ¨Ï¥Î
¥Ñ©óµL½u±M®×³q±`¨ã¦³«Ü¦h¬Û¦Pªº³]p¤¸¯À¡A©Ò¥HIP«½Æ¨Ï¥Îµ¦²¤¥i¦b´£°ª¥Í²£²v©M«~½è¤è±°_«Ü¤jªº§@¥Î¡C¦³¨â¤j¦]¯ÀÄY«ªýêIPªº«½Æ¨Ï¥Î¡AIPªº©â¶H¼h¦¸©MIPªº¦@¥Î¤è¦¡¡C¨Ò¦p¡A¦b³Ì§Cªº©â¶H¼h¦¸¡A§YHDL¥N½X¼h¦¸¡AIP¥i¯à·|¤Ó¨ãÅ餯¡A¥HP©ó¦b¥Ø¼Ð¥¥x©M±M®×¤¤µLªk³Q«½Æ¨Ï¥Î¡C¦b¸û°ªªº©â¶H¼h¦¸¦@¥ÎIP(¦p¦@¥ÎC/C++ ¥N½X)¥i¯à§ó¬°¾A·í¡A¦ý·|¥Ñ©ó¤¶±°ÝÃD¦Ó½ÆÂø¤Æ¡C¨Ò¦p¡A¤£¦PªºC/C++¼Ò«¬¥i¯à¨ã¦³¤£¦Pªº¤¶±¡A³o¨Ï±o¤£¦P¼Ò«¬¶¡«ÜÃø¦@¥ÎIP¡C§Y¨Ï±Ä¥Î¬Û¦Pªº¤¶±©M³]pì«h¡A¦ý¥Ñ©ó¹ï³W«h²z¸Ñªº¤£¦P¡A¤´µM·|¦³°ÝÃD¡C
¬°¤F¦b¥þ±M®×¡B¹Î¶¤¡A¬Æ¦Ü¬O¤½¥q¤º¦@¥Î¼Ò«¬¤¸¥ó¡A»Ýn«Ø¥ß¦@¦Pªº³]p©M¼ÒÀÀ¥¥x¡C¦@¦Pªº¥¥x±N½T«O¬YÓ¼Ò«¬¤¤¶}µoªº¤¸¥ó¥i¥Î¦b¥t¤@Ó¼Ò«¬¡C¼Ò«¬¤Æ³]p©ú½T¦a¹ªÀy¦b¾ãÓ³]p¹Lµ{¤¤¨Ï¥Î¦@¦Pªº¥¥x¡A«P¶iIPªº«½Æ¨Ï¥Î¡C
º¥¶i¦¡¾É¤J¼Ò²Õ¤Æ³]p¥i°§C¤èÀI
¥Ñ©ó§Þ³N©M¥«³õ¤è±ªºÀ£¤O¡AµL½u¨t²Îªº³]pÅܪº¤é¯q§xÃø¡A²{¦³ªº³]p¹Lµ{¤wÃø¥H¬°Ä~¡C±Ä¥Î¼Ò«¬¤Æ³]p¥i¹F¨ì§ó°ªªº«~½è¡B§óµuªº±M®×¶}µo®É¶¡©M§ó§Cªº¦¨¥»¡C¥i¥H³z¹L§C·ÀIªº¤è®×Àò±o³o¨ÇÀuÂI¡A¹³¬O¤@¶}©l¥u¦b¤@Ó³]p¶¥¬q¨Ï¥Î¼Ò«¬¤Æ³]p¡Aµo´§Àu¶Õ«á¡A¦A¶i¤@¨BÂX¤j¨Ï¥Î½d³ò¡A»P²{¦³³]p¹Lµ{¾ã¦X¡C
§@ªÌ²¤¶
Mike Woodward¬OThe MathWorks¤½¥qªº³q°T²£·~¥«³õ¸g²z¡C¥L§ë¤J³q°T²£·~¦h¦~¡A¨ã¦³ª«²z©M¥b¾ÉÅé¤Î·Lªiª«²z¾Ç¾Ç¦ì¡AŪªÌ¥i³z¹Lmike.woodward@mathworks.com»P¥LÁpô¡C
°Ñ¦Ò¸ê®Æ
[1] ¡§The Evolution of Hardware Platforms for Mobile ¡¥Software Defined Radio¡¦ Terminals,¡¨ Greifendorf D., Stammen J., and Jung P., PIMRC, 2002
[2] ¡§Return on Investment in Simulink for Electronic System Design,¡¨ International Business Strategies, Inc., 2005
[3] International Technology Roadmap for Semiconductors¡XDesign, 2005
[4] ¡§Return on Investment for Independent Verification & Validation¡XPhase 2B Final Report,¡¨ Dabney J., NASA, 2004
[5] ¡§Executable Specs: What Makes One, and How Are They Used?¡¨, Schubert P.J. and Vitkin L., Winters F., SAE 2006
[6] ¡§¥i°õ¦æ³W®æ»¡©ú: Creating Testable, Enforceable Designs,¡¨ Microsoft Research, 2001
[7] ¡§Caterpillar Automatic Code Generation,¡¨ Thate J.M., Kendrick L.E., and Nadarajah S., SAE, 2004
[8] International Technology Roadmap for Semiconductors¡XDesign, 2006 Update
[9] ¡§Cracking the Code Automatically,¡¨ Ledin J. and Dickens M., EDN Europe, June 2005
Click here for Illustrations:
Figure 1 |
| |
 |
| |
| |
|
|
| |
| |
|
|
|