RULES CHECKER MAKES LOGIC SIMULATION MORE ACCURATE

被引：0

作者：

GOERING, R

机构：

来源：

COMPUTER DESIGN | 1987年 / 26卷 / 21期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：37 / 38

页数：2

共 50 条

[41] Fuzzy logic makes sense
Industry Week, 1993, 242 (05)
[42] Logic of Association Rules
Jan Rauch
Applied Intelligence, 2005, 22 : 9 - 28
[43] QUANDARIES AND LOGIC OF RULES
HAMBLIN, CL
JOURNAL OF PHILOSOPHICAL LOGIC, 1972, 1 (01) : 74 - 85
[44] Description Logic Rules
Kroetzsch, Markus
Rudolph, Sebastian
Hitzler, Pascal
ECAI 2008, PROCEEDINGS, 2008, 178 : 80 - 84
[45] LOGIC OF VARIABLE RULES
KAY, P
MCDANIEL, CK
LANGUAGE IN SOCIETY, 1979, 8 (02) : 151 - 187
[46] Logic of association rules
Rauch, J
APPLIED INTELLIGENCE, 2005, 22 (01) : 9 - 28
[47] A LOGIC FOR DEFEASIBLE RULES
NUTE, D
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1088 - 1088
[48] More food - more rules?
不详
ERNAHRUNGS UMSCHAU, 2008, 55 (02): : 65 - 65
[49] Chico: An On-Chip Hardware Checker for Pipeline Control Logic
DeOrio, Andrew
Bauserman, Adam
Bertacco, Valeria
MTV 2007: EIGHTH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION, PROCEEDINGS, 2008, : 91 - 97
[50] Concise outlines for a complex logic: a proof outline checker for TaDA
Felix A. Wolf
Malte Schwerhoff
Peter Müller
Formal Methods in System Design, 2022, 61 : 110 - 136