This paper shows that automatically synthesized simulators are a competitive alternative to handcrafted simulators for binary code model While the generation of hardware simulators from hardware descriptions has been long used in different fields， our work is new in that it highlights and approaches the need for automatic integration of abstraction techniques in order to tackle the state-explosion As shown in the case study， only the smallest programs can be verified 本文显示采用自动合成模拟系统替代手工模拟器对二进制编码模型进行检验是极具竞争性的一种方式。源自硬件描述的硬件模拟器尽管已在不同的领域中经久使用，但我们的研究工作具有新意因为它强调并探讨提取技术自动集成的需要，以便应对状态爆炸的难题。犹如个案研究所示，只有最小的程序可被证实不那样。Clearly， the work calls for further investigation of abstraction techniques that can be integrated automatically， and also， the synthesis of hardware-specific static analyzers from SGDL Moreover， even though we believe that SGDL and the underlying synthesis system are general enough to handle different kinds of microcontroller platforms， we further want to investigate its applicability by synthesizing simulators for16-bit microcontrollers such as the Renesas R8C/显然，研究工作主张对可自动合成的提取技术，以及从SGDL代码进行硬件特定静态分析器的合成作进一步的研究。此外，虽然我们相信SGDL及其基础合成系统可通用于处理各种不同的微控制器平台，但我们通过合成例如Renesas R8C/23的16位微控制器模拟系统，来进一步研究它的适用范围。 注：SGDL – Sudoku Game Design Language 数独游戏设计语言【英语牛人团】
Automation is the use of control systems and information technologies to reduce the need for human work in the production of goods and In the scope of industrialization， automation is a step beyond Whereas mechanization provided human operators with machinery to assist them with the muscular requirements of work， automation greatly decreases the need for human sensory and mental requirements as Automation plays an increasingly important role in the world economy and in daily Automation has had a notable impact in a wide range of industries beyond manufacturing (where it began) Once-ubiquitous telephone operators have been replaced largely by automated telephone switchboards and answering Medical processes such as primary screening in electrocardiography or radiography and laboratory analysis of human genes， sera， cells， and tissues are carried out at much greater speed and accuracy by automated Automated teller machines have reduced the need for bank visits to obtain cash and carry out In general， automation has been responsible for the shift in the world economy from industrial jobs to service jobs in the 20th and 21st Advantages and disadvantagesThe main advantages of automation are:Replacing human operators in tasks that involve hard physical or monotonous Replacing humans in tasks done in dangerous environments ( fire， space， volcanoes， nuclear facilities， underwater， )Performing tasks that are beyond human capabilities of size， weight， speed， endurance， Economy improvement: Automation may improve in economy of enterprises， society or most of For example， when an enterprise invests in automation， technology recovers its investment; or when a state or country increases its income due to automation like Germany or Japan in the 20th CReduces operation time and work handling time The main disadvantages of automation are:Unemployment rate increases due to machines replacing humans and putting those humans out of their Technical Limitation: Current technology is unable to automate all the desired Security Threats/Vulnerability: An automated system may have limited level of intelligence， hence it is most likely susceptible to commit Unpredictable development costs: The research and development cost of automating a process may exceed the cost saved by the automation High initial cost: The automation of a new product or plant requires a huge initial investment in comparison with the unit cost of the product， although the cost of automation is spread in many product batches of things自动化控制系统和信息技术的使用，以减少人类在生产的商品和服务的工作需要。在工业化的范围，自动化是超越机械化的一个步骤。而机械化提供与机械操作人员，以协助他们与肌肉的工作要求，自动化，大大地降低了对人类的感官和精神要求，以及需要。自动化扮演一个越来越重要的作用，在世界经济和日常生活中的经验。自动化已在广泛的行业，超越制造业（开始）的一个显着的影响。一度无处不在的电话运营商已更换了主要由自动电话交换机和电话答录机。如心电图或X线摄影和人类基因，血清，细胞和组织的实验室分析初筛医疗过程进行了自动化系统在更大的速度和准确性。自动取款机，减少了银行参观需要获得现金及进行交易。在一般情况下，自动化已经从工业就业转移在20世纪和21世纪在世界经济中的服务性工作负责。优点和缺点自动化的主要优点是：更换硬盘物理或单调的工作任务涉及的人工操作。更换人类在危险的环境中完成的任务（即火，空间，火山爆发，核设施，水下等）超越人的能力的大小，重量，速度，耐力等是执行任务经济好转：自动化可以提高企业，社会或人类最经济。例如，当一个企业在自动化投资，技术恢复其投资;或当一个国家或一个国家增加其收入，由于在20世纪的德国或日本这样的自动化。显著减少手术时间和工作的处理时间。自动化的主要缺点是：失业率上升，由于机器代替人类和那些人类把自己的工作。技术限制：目前的技术是无法实现自动化所需的所有任务。安全威胁/漏洞：一个自动化的系统可能有智力水平有限，因此它是最有可能易受犯的错误。不可预知的开发成本：自动化过程的研究和开发的成本可能会超过由自动化本身节省了成本。高的初始投资成本：的一种新产品或工厂自动化需要一个巨大的初始投资，在产品的单位成本比较，虽然自动化的成本是在许多事情批次产品传播
