A system, method and computer program features of the present invention, relate to verification or simulation of a design using a behavioral model structure for use in a Client/Server configuration. A physical part presents the external interface, and a functional procedural part which is comprised of at least one VHDL process. A testcase is a set of procedure calls written in VHDL. The present invention describes the architecture and implementation of a client/server behavioral model and procedural approach for testcase development which results in significant gain in productivity, quality of logic verification, and portability.

Les dispositifs d'un système, de méthode et de programme machine de la présente invention, se relient à la vérification ou à la simulation d'une conception en utilisant une structure modèle comportementale pour l'usage dans une configuration client/Server. Une partie physique présente l'interface externe, et une partie procédurale fonctionnelle qui est composée au moins d'un processus de VHDL. Un testcase est un ensemble d'appels de procédé écrits dans VHDL. La présente invention décrit l'architecture et l'exécution d'un modèle comportemental client/server et d'une approche procédurale pour le développement de testcase qui a comme conséquence le gain significatif dans la productivité, la qualité de la vérification de logique, et la portabilité.