scientific article; zbMATH DE number 4135870

MaRDI QIDQ3469043zbMATH OpenFDO

Authors S. N. Vasil'ev, S. G. Patrushev

Publication date 1989

zbMATH Keywords

optimizationVLSI structuresmodel theoretic semanticstyped quantifier language

Mathematics Subject Classification ID

Circuits, networks (94C99) Model theory (03C99)

Recommendations

• scientific article; zbMATH DE number 3858396
• Description and reasoning of VLSI circuit in temporal logic
• Trace theory and VLSI design
• A logic-topological calculus for the construction of integrated circuits. I
• scientific article; zbMATH DE number 3871202

Cited in

(5)

• Applying learning by examples for digital design automation
• scientific article; zbMATH DE number 4145380 (Why is no real title available?)
• scientific article; zbMATH DE number 3869221 (Why is no real title available?)
• Data structures for extension violations in a query range
• Description and reasoning of VLSI circuit in temporal logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3469043)