±¨ ¸æ ÈË£ºÖì»Ý±ë½ÌÊÚ
µ¥Ôª£º»ª¶«Ê¦·¶´óÑ§ÍÆËã»ú¿ÆÑ§ÓëÈí¼þ¹¤³ÌѧԺ
»ã±¨¹¦·ò£º2019Äê5ÔÂ30ÈÕ£¨ÖÜËÄ£©14£º30¡«16:00
»ã±¨µØÖ·£ºÐ£±¾²¿¶«ÇøÍÆËã»ú´óÂ¥1001ÊÒ
Ô¼ÇëÈË£ºçÑ»´¿Û½ÌÊÚ
»ã±¨ÌáÒª£º
VerilogÊÇÒ»ÖÖÓ²¼þÃèÊö˵»°£¬ÔÚ¹¤Òµ½çµÃµ½¿í·ºµÄÀûÓ᣶àÏß³ÌÀëÉ¢ÊÂÎñ·ÂÕÕ˵»°MDESLÊÇÒ»ÖÖÀàËÆVerilogµÄ˵»°£¬¾ß±¸ºÃ¶à¸öÐÔ£¬ÈçÊÂÎñÇý¶¯ÍÆËãºÍ¹²Ïí±äÁ¿²¢·¢µÈ¡£±¾´Î»ã±¨´ÓÀíÂÛÓëʵ¼ÊÁ½·½ÃæÆô³Ì£¬×êÑÐÈôºÎ½«MDESLµÄ´úÊýÓïÒåÓë²Ù×÷ÓïÒåÏàÏνӲ¢ÑéÖ¤Á½ÕߵĵȼÛÐÔ¡£´úÊýÓïÒåÓë²Ù×÷ÓïÒ対¾ÝÊ׹淶ʽºÍÅÉÉúÕ½ÊõÏàÏνӣ¬ÅÉÉúµÄ²Ù×÷ÓïÒåÒÔ¶¨ÀíµÄ´ó¾Ö¸ø³ö£¬²¢Æ¾¾ÝÅÉÉúÕ½Êõ×êÑÐÁ˲Ù×÷ÓïÒåµÄÕýÈ·ÐÔÓëÍêÕûÐÔ¡£´Ë±í£¬ÔÚʵ¼Ê·½Ã棬ÎÒÃÇʹÓö¨ÀíÖ¤Ã÷Æ÷Coq¶Ô´úÊýÓïÒåºÍ²Ù×÷ÓïÒå½øÐлúе»¯±àÂ룬²¢»úеÑéÖ¤ÁËÅÉÉúµÄ²Ù×÷ÓïÒåµÄÕýÈ·ÐÔºÍÍêÕûÐÔ¡£
»ã±¨È˼ò½é:
Öì»Ý±ë,»ª¶«Ê¦·¶´óÑ§ÍÆËã»ú¿ÆÑ§ÓëÈí¼þ¹¤³ÌѧԺ½ÌÊÚ£¬²©Ê¿Éúµ¼Ê¦£¬½ÌÓý²¿Èí¼þ¹¤³Ìרҵ½²ÊÚÁ쵼ίԱ»áίԱ£¬ÖйúÍÆËã»úѧ»á´ó¾Ö»¯²½ÖèרҵίԱ»á¸±Ö÷ÈΡ£×êÑз½ÏòΪ¸ß¿ÉÐÅÍÆËã¡¢´ó¾Ö»¯²½ÖèºÍÐÅÏ¢ÎïÀíÈÚºÏϵͳ¡£ÔÚ¹ú¼Ê³ÛÃûÆÚ¿¯ºÍ»áÒé°ä·¢ÂÛÎÄ170ÓàÆª£¬ÔøÖ÷³ÖÌìÈ»¿ÆÑ§»ù½ðίÖе¤¹ú¼ÊºÏ×÷ÏîÄ¿¡°ÐÅÏ¢ÎïÀíÈÚºÏϵͳµÄ»ù´¡×êÑÓ×±£¨2011-2013£©²¢ÇÒ»ñµÃ¹ö¶¯ÔÞÖú£¨2014-2016£©¡£¡°»ùÓÚÄ£Ð͵ĿÉÐÅÈí¼þÀíÂÛÓ뿪·¢²½Ö衱»ñµÃ2011Äê¶È½ÌÓý²¿¸ßµµÑ§ÌÃÌìÈ»¿ÆÑ§Ò»µÈ½±£¨µÚ¶þʵÏÖÈË£©, ±ðÀëÓÚ2013ÄêºÍ2017Äê»ñµÃ¸ßµµ½ÌÓýÉϺ£Êн²Êڳɾͽ±ÌصȽ±ºÍÒ»µÈ½±£¨ÅÅÃûµÚ¶þºÍµÚÎ壩£¬ÓÚ2018Äê9Ô»ñµÃ¹ú¶È½²Êڳɾͽ±¶þµÈ½±£¨ÅÅÃûµÚÎ壩¡£