A PC knowledge-based environment for VLSI layout verification.

F. Hashim Serag El-Din Habib Mohammed Zaki

Published in: J. Syst. Softw. (1992)

Keyphrases

mobile robotics
high speed
expert systems
mobile robot
dynamic environments
host computer
real time
layout design
asynchronous circuits
simulation environment
computing environments
autonomous agents
model checking
signal processing
multiscale
database systems
artificial intelligence
real world