yanxuehou
Europeans resident in the islan 
this Chinese-Formosan， then young
本文表明，自动合成的仿真器是有竞争力的替代手工仿真器的二进制代码模型检查。虽然从硬件描述硬件仿真器代已久的使用在不同的领域，我们的工作是新的，它突出和接近抽象技术的自动集成的需要，以解决状态爆炸的问题。案例研究显示，只有最小的方案，否则可以验证。很明显，工作要求抽象，可自动集成技术的进一步调查，，SGDL代码特定于硬件的静态分析的合成。此外，即使我们相信，SGDL和基础合成系统一般，足以应付各种不同的微控制器平台，我们进一步要探讨其适用性合成仿真器如瑞萨R8C/23的16位微控制器。
We seldom think of The days
