A double layered porous silicon with different porosity is formed on a heavy doped p type Si(111) substrate by changing current density during the *** a high quality epitaxial mono crystalline silicon film is grown ...
详细信息
A double layered porous silicon with different porosity is formed on a heavy doped p type Si(111) substrate by changing current density during the *** a high quality epitaxial mono crystalline silicon film is grown on the porous silicon using an ultra high vacuum electron beam *** wafer is bonded with other silicon wafer with a thermal oxide layer at room *** bonded pairs are split along the porous silicon layer during subsequent thermal *** the epitaxial Si film is transferred to the oxidized wafer to form a silicon on insulator ***,XTEM,spreading resistance probe and Hall measurement show that the SOI structure has good structural and electrical quality.
有界模型校验(Bounded Model Checking)由于验证的不完备性而经常受到验证人员的指责。为了解决这个问题,计算时序深度的算法被提出。该文算法基于可满足性算法引擎,与其它基于可满足性算法引擎的算法不同,为了减少可满足性算法引擎的负...
详细信息
有界模型校验(Bounded Model Checking)由于验证的不完备性而经常受到验证人员的指责。为了解决这个问题,计算时序深度的算法被提出。该文算法基于可满足性算法引擎,与其它基于可满足性算法引擎的算法不同,为了减少可满足性算法引擎的负担,采用了状态空间显式存储的方法。ISCAS’89的实例很好证明了该算法的有效性。
暂无评论