关于异步电路的惯性
On the Inertia of the Asynchronous Circuits
摘要：
给出了有界时滞、绝对惯性和相对惯性。
英文摘要：
We present the bounded delays, the absolute inertia and the relative inertia.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
异步电路延迟的定义
Defining the Delays of the Asynchronous Circuits
我们定义了电路的延迟，以及确定性，顺序，时间不变性，恒定性，对称性和串联的性质。
cs.LO
异步电路的模型示例
Examples of Models of the Asynchronous Circuits
我们定义了电路的延迟，以及确定性，顺序，时间不变性，恒定性，对称性和串联的性质。
cs.LO
异步电路延迟的数学理论
Towards a Mathematical Theory of the Delays of the Asynchronous Circuits
本文利用伪布尔微分法写出了异步电路的时延不等式。我们认为这些努力是一个可能的起点，在数字电气工程（这是一个非形式化的理论）的半形式化重建。
cs.LO
异步电路的积木式验证
Verification of Building Blocks for Asynchronous Circuits
可扩展的形式化验证是异步电路设计的一个重要挑战。死锁自由度是一种理想但难以验证的属性。这是一个涌现的性质，必须得到整体验证。我们提出了我们的方法，使用ACL 2来验证异步延迟不敏感原语的充分必要条件。这些条件用于从由这些原语构建的电路中导出SAT/SMT实例。这些SAT/SMT实例有助于确定没有死锁。我们的验证工作包括建立一个可执行的检查器在ACL 2逻辑为我们的目的量身定制。我们证明这个检验器是正确的。这种方法使我们能够证明ACL 2定理涉及defun-sk结构和自由变量完全自动。
cs.LO
用于物理攻击防护的异步电路建模
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
异步电路对于安全应用有几个优点，特别是它们对攻击的良好抵抗力。在本文中，我们报告的实验建模，在不同的抽象层次，专利异步电路检测物理攻击，如切割电线或产生短路。
cs.CRcs.LO
异步自动机专题
Selected Topics in Asynchronous Automata
本文涉及到定义电信号及其模型。延迟进行了讨论，异步自动机-这是异步电路的模型-和时钟发生器和R-S锁存器的例子给出。我们写的异步自动机的方程，它结合了纯延迟模型和惯性延迟模型;简单的门模型和复杂的门模型;固定，有界和无界延迟模型。我们给出了这些方程的解，它们写在R->{0，1}函数上，其中R是时间集。讨论了实时的与离散时间之间的联系。给出了稳定性、基本操作模式、组合自动机、半模块性的定义和刻画。一些连接建议与线性时间和分支时间时序逻辑的命题。
cs.LO
更多相关论文收起更多论文
数据加密标准全异步实现的形式化描述与验证
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
本文提出了两种形式化模型的数据加密标准（DES），第一个使用国际标准LOTOS，第二个使用最近的过程演算LNT。两种模型都以异步电路的方式对DES进行编码，即，DES算法的数据流块由经由会合通信的进程表示。为了确保模型的正确性，已经应用了几种技术，包括模型检验，等价性检验，并将从正式模型自动生成的原型产生的结果与DES的现有实现进行比较。模型的完整代码作为附录提供，也可以在CADP验证工具箱的网站上获得。
cs.CRcs.LO
