Als erstes wird ein Design in abel , der 
                advanced boolean expression language
erstellt ( mux12t4.abl ) .

Dieses Design wird danach von abel bearbeitet und daraus mehrere
Files generiert . Diese sind : 
         mux12t4.doc - die gesamte Designdokumentation;
         mux12t4.sim - die Ergebnisse der Designsimulation;
         ic1m.jed    - das Programmer Load File fuer DATA I/O
                       Programmiersysteme .

Danach wird PLDtest auf das JEDEC File ic1m.jed angesetzt , zuerst
wird "COVERAGE" gewaehlt um die Testbarkeit von Design UND Baustein
zu bewerten . Die Bewertung zeigt 81,2% Testbarkeit ( ic1m_2.lst ) .

Nun erfolgt "COVERAGE + GENERATE" , PLDtest erzeugt nun eigene Test-
vektoren fuer den Baustein und den vom Anwender NICHT getesteten
Bereich . Das Ergeniss wird in ic1m.lst gezeigt .
               Die Testbarkeit lag bei 100% !
 
Das ebenfalls automatisch erstellte JEDEC File pic1m.jed enthaelt die
anwendereigenen Testvektoren ( SEED VECTORS ) und die von PLDtest er-
zeugten automatischen Testvektoren . Testzeit : 15 Sekunden !
