Grid Generation and Verification for 3-D Device Simulation.

Gian Carlo Cardarilli Marcello Salmeri Adelio Salsano

Published in: EUROSIM (1992)

Keyphrases

databases
information systems
formal verification
model checking
simulation models
artificial intelligence
evolutionary algorithm
mathematical model
simulation model
functional verification