Testable and self-repairable structured logic design.

Uthman Alsaiari Resve A. Saleh

Published in: ISCAS (2006)

Keyphrases

neural network
design process
logic synthesis
real world
object oriented
description logics
knowledge based systems
logic programming
computer aided
temporal logic
proof theory