MDESLµÄ²Ù×÷ÓïÒåºÍ´úÊýÓïÒåÏνӵÄÀíÂÛÓëʵ¼Ê

2019.05.28

Ͷ¸å£ºÖÜʱǿ²¿ÃÅ£ºÍÆËã»ú¹¤³ÌÓë¿ÆÑ§Ñ§Ôºä¯ÀÀ´ÎÊý£º

»î¶¯ÐÅÏ¢

¹¦·ò£º 2019Äê05ÔÂ30ÈÕ 14:30

µØÖ·£º У±¾²¿¶«ÇøÍÆËã»ú´óÂ¥1001ÊÒ

±¨ ¸æ ÈË£ºÖì»Ý±ë½ÌÊÚ

µ¥Ôª£º»ª¶«Ê¦·¶´óÑ§ÍÆËã»ú¿ÆÑ§ÓëÈí¼þ¹¤³ÌѧԺ

»ã±¨¹¦·ò£º2019Äê5ÔÂ30ÈÕ£¨ÖÜËÄ£©14£º30¡«16:00

»ã±¨µØÖ·£ºÐ£±¾²¿¶«ÇøÍÆËã»ú´óÂ¥1001ÊÒ

Ô¼ÇëÈË£ºçÑ»´¿Û½ÌÊÚ


»ã±¨ÌáÒª£º

VerilogÊÇÒ»ÖÖÓ²¼þÃèÊö˵»°£¬ÔÚ¹¤Òµ½çµÃµ½¿í·ºµÄÀûÓ᣶àÏß³ÌÀëÉ¢ÊÂÎñ·ÂÕÕ˵»°MDESLÊÇÒ»ÖÖÀàËÆVerilogµÄ˵»°£¬¾ß±¸ºÃ¶à¸öÐÔ£¬ÈçÊÂÎñÇý¶¯ÍÆËãºÍ¹²Ïí±äÁ¿²¢·¢µÈ¡£±¾´Î»ã±¨´ÓÀíÂÛÓëʵ¼ÊÁ½·½ÃæÆô³Ì£¬×êÑÐÈôºÎ½«MDESLµÄ´úÊýÓïÒåÓë²Ù×÷ÓïÒåÏàÏνӲ¢ÑéÖ¤Á½ÕߵĵȼÛÐÔ¡£´úÊýÓïÒåÓë²Ù×÷ÓïÒ対¾ÝÊ׹淶ʽºÍÅÉÉúÕ½ÊõÏàÏνÓ£¬ÅÉÉúµÄ²Ù×÷ÓïÒåÒÔ¶¨ÀíµÄ´ó¾Ö¸ø³ö£¬²¢Æ¾¾ÝÅÉÉúÕ½Êõ×êÑÐÁ˲Ù×÷ÓïÒåµÄÕýÈ·ÐÔÓëÍêÕûÐÔ¡£´Ë±í£¬ÔÚʵ¼Ê·½Ã棬ÎÒÃÇʹÓö¨ÀíÖ¤Ã÷Æ÷Coq¶Ô´úÊýÓïÒåºÍ²Ù×÷ÓïÒå½øÐлúе»¯±àÂ룬²¢»úеÑéÖ¤ÁËÅÉÉúµÄ²Ù×÷ÓïÒåµÄÕýÈ·ÐÔºÍÍêÕûÐÔ¡£


»ã±¨È˼ò½é:

Öì»Ý±ë,»ª¶«Ê¦·¶´óÑ§ÍÆËã»ú¿ÆÑ§ÓëÈí¼þ¹¤³ÌѧԺ½ÌÊÚ£¬²©Ê¿Éúµ¼Ê¦£¬½ÌÓý²¿Èí¼þ¹¤³Ìרҵ½²ÊÚÁ쵼ίԱ»áίԱ£¬ÖйúÍÆËã»úѧ»á´ó¾Ö»¯²½ÖèרҵίԱ»á¸±Ö÷ÈΡ£×êÑз½ÏòΪ¸ß¿ÉÐÅÍÆËã¡¢´ó¾Ö»¯²½ÖèºÍÐÅÏ¢ÎïÀíÈÚºÏϵͳ¡£ÔÚ¹ú¼Ê³ÛÃûÆÚ¿¯ºÍ»áÒé°ä·¢ÂÛÎÄ170ÓàÆª£¬ÔøÖ÷³ÖÌìÈ»¿ÆÑ§»ù½ðίÖе¤¹ú¼ÊºÏ×÷ÏîÄ¿¡°ÐÅÏ¢ÎïÀíÈÚºÏϵͳµÄ»ù´¡×êÑÓ×±£¨2011-2013£©²¢ÇÒ»ñµÃ¹ö¶¯ÔÞÖú£¨2014-2016£©¡£¡°»ùÓÚÄ£Ð͵ĿÉÐÅÈí¼þÀíÂÛÓ뿪·¢²½Ö衱»ñµÃ2011Äê¶È½ÌÓý²¿¸ßµµÑ§ÌÃÌìÈ»¿ÆÑ§Ò»µÈ½±£¨µÚ¶þʵÏÖÈË£©, ±ðÀëÓÚ2013ÄêºÍ2017Äê»ñµÃ¸ßµµ½ÌÓýÉϺ£Êн²Êڳɾͽ±ÌصȽ±ºÍÒ»µÈ½±£¨ÅÅÃûµÚ¶þºÍµÚÎ壩£¬ÓÚ2018Äê9Ô»ñµÃ¹ú¶È½²Êڳɾͽ±¶þµÈ½±£¨ÅÅÃûµÚÎ壩¡£ 


¡¾ÍøÕ¾µØÍ¼¡¿