Produits ACUGEN

Le test des composants programmables par ACUGEN
- Les générateurs automatiques de vecteurs de test
- L’analyse de testabilité
- Le test Boundary-Scan
- La bibliothèque de modèles JEDEC
- Les composants Actel
- Les composants Altera
- Les composants Lattice
- Les composants Lucent ORCA
- Les composants QuickLogic
- Les composants Xilinx
- La conversion vers les testeurs de carte
- La conversion vers les testeurs de composants
- La conversion vers les simulateurs
- Les prestations de génération de vecteurs de test (Fichier PDF, 79k)
- La fiche de description du générateur de vecteurs ATGEN (Fichier PDF, 20k)
- La fiche de description des outils Boundary-Scan (Fichier PDF, 17k)
Génération des vecteurs de test et analyse de testabilité
ATGEN S75 – Génération de vecteurs hiérarchiques
Générateur de test fonctionnel, structure de vecteurs hiérachiques, 5x plus rapide que S55, quatre stratégies de génération de vecteurs, simulation min-max, supporte jusqu’à 1 million de portes, 10 millions de vecteurs de test.
Ce module n’inclut par les modèles de PLD, CPLD & FPGA qui doivent être acquis séparément.
ATGEN S55 – Génération de vecteurs de test : la référence
Générateur de test fonctionnel, structure de vecteurs à plat, quatre stratégies de génération de vecteurs.
Ce module n’inclut par les modèles de PLD, CPLD & FPGA qui doivent être acquis séparément.
ATGEN S25 FASTpass™ – Génération de vecteurs : la simplicité
Rapide, bas-coût, deux stratégies de génération de vecteurs.
Ce module n’inclut par les modèles de PLD, CPLD & FPGA qui doivent être acquis séparément.
SHARPEYE™ – Analyse de testabilité
Analyse la description des composants programmables et identifie les problèmes de testabilité.
Existe en version autonome incluant tous les modèles JEDEC et FPGA ou en complément à la génération de vecteurs ATGEN.
PROGBSDL™ BSDL Customizer
Modifie le fichier BSDL d’un FPGA pour adapter la direction des broches à l’utilisation fonctionnelle sur la carte. Les modifications peuvent être spécifiées manuellement ou automatiquement extraites des fichiers de conception des FPGA. Module autonome.
TESTBSDL™ BSDL ATG
Génère les vecteurs de test ayant une forte couverture de fautes sur les broches des composants Boundary-Scan. Vérifie la syntaxe des fichiers BSDL et produit les vecteurs pour le test In-Circuit. Module autonome.
Les convertisseurs pour Verilog, VHDL, les testeurs de carte ou de composants sont disponibles mais vendus séparément.
S37 MODBSDL™ Modèles de simulation des composants BSDL
Modélisation d’un composant à partir du fichier BSDL. Utilisé en conjonction avec convertisseur de modèles pour créer des modèles de simulation tels que Verilog, HILO et LASAR. Module autonome.
S38 AACDB™ Génération de Test de Cluster Test
Lecture de la netlist de la carte et de la définition du cluster en format Victory, génération des vecteurs de test, simulation de fautes, et création du dictionnaire de fautes. Solution efficace pour le test et le diagnostic des clusters multi-composants utilisant Victory (inclut les utilisateurs Acculogic, Asset Intertech et Intellitech).
Requiert un générateur de tests ATGEN S55 ou S75, un convertisseur de modèles et de vecteurs de test.
S4 PROMATG™ Génération des tests
Génération des tests pour les PROMs, EPROMs et EEPROMs. Module autonome.
S5 AADELAY™ Génération des tests paramétriques AC
Création des données temporelles précises pour le test paramétrique AC. Requiert un convertisseur paramétrique AC. Module complémentaire à une license ATGEN.
Bibliothèques de modèles JEDEC
Cette section décrit les différentes bibliothèques de modèles à associer au générateur de vecteurs ATGEN. Contacter ASTER si vous souhaitez acheter les modèles à l’unité.
MSP3 – Bibliothèque de base
98 Modèles JEDEC comprenant jusqu’à 10 macro-cellules.
6l16 16ld8 18cv8 20l8 22ap10 161 8l14 16n8 18g8 20r4 22cv10p 162 10h8 16p8 18l4 20r6 22cv10z 163 10l8 16r4 18n8 20r8 22p10 173 12h6 16r6 18p8 20rp4 22v10 179 12l10 16r8 18u8q 20rp6 22vp10 253 12l6 ric16p8b 18v10 20rp8 24r4 273 14h4 ric16rp4b 18v8z 20rs10 24r8 ep310 14l4 ric16rp6b 19l8 20rs4 85c224 ep320 14l8 ric16rp8b 19r4 20rs8 85c508 plx448 16a4 16rp4 19r6 20s10 100 473 16c1 16rp6 19r8 20v8 103 839 16h2 16rp8 20c1 20v8a 151 9800 16hd8 16v8 20cg10 20x10 153 16l2 16v8a 20g10 20x4 155 16l6 16x4 20l10 20x8 157 16l8 16z8 20l2 20xv10 159
MSP4 – Bibliothèque Intermédiaire
177 modèles JEDEC. Inclut les modèles de la bibliothèque MPS3, plus les modèles de la liste çi-dessous.
mach4-32 20rp10 26cv12 m144 333 atm750 2605 mach4-64 20vp8 26v12 167 335 atm750b 2678 10h16p8 20xrp10 32r16 168 371 ep900 ph3032 10h20eg8 20xrp4 32vx10 204e 372 1016c4 ph3064 10h20ev8 20xrp6 85c22v10 mach210 373 1016ld8 6001 10h20p8 20xrp8 105 mach211 374 1016p4 6002 16pe8 22rx8a mach110 mach215 405 1016rd8 7024 16ra8 22xp10 mach111 mach220 415 ep1200 sig16v8 23s8 mach120 mach221 501 atm1500 16v8h 24l10 m128 330 506 atm1504 16vp8 24r10 mach130 331 507 ep1800 20ra10 24v10 mach131 332 ep600 atm2500
ASP1 – Bibliothèque AMD/Vantis MACH
Tous les modèles Vantis MACH actuellement disponibles (30 modèles, couvrant la famille MACH 1, 2, 3, 4 et 5).
mach4-192 mach4-96 mach130 mach215 machv-256 mach445 mach4-32 mach110 mach131 mach220 machv-320 mach446 mach4-384 mach111 machv-192 mach221 machv-384 mach465 mach4-512 mach120 mach210 mach230 mach435 mach466 mach4-64 machv-128 mach211 mach231 mach436 machv-512
ATM1PR – Bibliothèque Atmel (Premium)
Tous les modèles Atmel actuellement disponibles (8 modèles).
atm750 atm1500 atm1504 atm2500 atm750b atm1502 atm1508 atm5000
ATM1FP – Bibliothèque Atmel (Fast-Pass)
Tous les modèles Atmel actuellement disponibles (8 modèles). Cf. la liste de la bibliothèque ATM1PR.
CSP1PR – Bibliothèque Cypress (Premium)
Tous les modèles Cypress actuellement disponibles (19 modèles).
18g8 331 335 373 37032 37192 37512 20g10 332 371 374 37064 37256 330 333 372 375 37128 37384
CSP1FP – Bibliothèque Cypress (Fast-Pass)
Tous les modèles Cypress actuellement disponibles (19 modèles). Cf. la liste de la bibliothèque CSP1PR.
MSP1 Deluxe Models Subscription
Inclut les 221 modèles JEDEC actuellement disponibles plus MSP4.
aaqmax 29m16 48n22 ep512 2552 37064 37384 5ac312 29ma16 ep241 780 ph3128 37128 37512 5ac324 30s16 375 atm1502 atm5000 37192 gaz23sv8 42va12 sm448 atm1508 37032 37256
Les composants Actel
La modélisation est réalisée à partir des fichiers .adl/.pin produits par l’outil de conception ACTEL. Requiert un générateur de tests ATGEN S25, S55 ou S75.
ES6-AAACT-B | ACT1010, ACT1020, ACT1415, TI1010, TI1020, 40MX02. |
ES8-AAACT-C | ES6 plus1225, 1240, 1425, 1440, 40MX04, 42MX09. |
ES9-AAACT-E | ES8 plus1280, 1460, 3265, 42MX16, 54SX08. |
ES32-AAACT-F | ES9 plus14100, 32100, 32140, 42MX24, 54SX16. |
ES43-AAACT-G | ES32 plus32200, 32300, 54SX32. |
ES40-AAACT-H | ES43 plus32400, 42MX36, 42MX52, 54SX64. |
ES55-AAACT-I | ES43 plus 54SX72. |
ES16-AAACT-Z | Tous les composants ACTEL à partir des fichiers .adl/.pin. |
ES16-AAACT-Z-FP | Version FASTpass de ES16-AAACT-Z. |
Les composants Altera
Les composants Altera MAX+PLUS II
La modélisation est réalisée à partir des fichiers .rpt/.fit, et d’une netlist EDIF version 2 ou 3 produits par l’outil de conception MAX-PLUS II (utilise EDIF pour la précision des données temporelles).
Requiert un générateur de tests ATGEN S25, S55 ou S75.
ES2-AAMAX-32-A | EPM5016, EPM5024, EPM5032, EPM7032, CY7C344. |
ES3-AAMAX-128-B | ES2 plus EPM5064, EPM5096, EPM5127, EPM5128, EPM5130, EPM7064, EPM7096, EPM7128, EPX880, CY7C342, CY7C343, CY7C346, EPS464. |
ES7-AAMAX-256-C | ES3 plus EPM5192, EPM7160, EPM7192, EPM7256, EPX8160, CY7C341. |
ES20-AAMAX-512-E | ES7 plus EPM7512, EPF8282, EPF8452, EPM9320. |
ES22-AAMAX-F | ES20 plus EPF8820, EPF8636, EPF81188, EPM9400, EPM9480, EPM9560, EPF10K10. |
ES23-AAMAX-G | ES22 plus EPF6016, EPF6024, EPF81500, EPF10K20, EPF10K30. |
ES41-AAMAX-H | ES23 plus EPF10K40, EPF10K50. |
ES42-AAMAX-I | ES41 plus EPF10K70, EPF10K100. |
ES19-AAMAX-Z | Tous les composants MAX à partir des fichiers .rpt/.fit et EDIF produits par MAX-PLUS II. |
ES19-AAMAX-Z-FP | Version FASTpass de ES19-AAMAX-Z. |
Altera MAX Quartus Device Support
La modélisation des composants MAX est réalisée à partir des fichiers .vo, .sdo et .pin produits par l’outil de conception Quartus. Requiert un générateur de tests ATGEN S25, S55 ou S75.
ES62-AAQMAX-128-B | EPM5016, EPM5024, EPM5032, EPM7032 EPM5064, EPM5096, EPM5127, EPM5128, EPM5130, EPM7064, EPM7096, EPM7128, EPX880. |
ES63-AAQMAX-C | ES62 plus EPM5192, EPM7160, EPM7192, EPM7256, EPX8160. |
ES64-AAQMAX-E | ES63 plus EPM7512, EPF8282, EPF8452, EPM9320. |
ES65-AAQMAX-F | ES64 plus EPF8820, EPF8636, EPF81188, EPM9400, EPM9480, EPM9560, EPF10K10. |
ES66-AAQMAX-G | ES65 plus EPF6016, EPF6024, EPF81500, EPF10K20, EPF10K30. |
ES67-AAQMAX-H | ES66 plus EPF10K40, EPF10K50. |
ES68-AAQMAX-I | ES67 plus EPF10K70, EPF10K100. |
ES61-AAQMAX-Z | Tous les composants MAX à partir des fichiers .vo/.pin produits avec Quartus. |
ES61-AAQMAX-Z-FP | Version FASTpass de ES61-AAQMAX-Z. |
Les composants Lattice
La modélisation des composants Lattice est réalisée à partir de la netlist .sim issue de l’outil de conception Lattice. Requiert un générateur de tests ATGEN S25, S55 ou S75.
ES14-AALAT-B | pLSI1016, pLSI1024, pLSI1032, pLSI2032, pLSI2064, pLSI2096, pLSI2128, ispGDX80, ispGDX120. |
ES15-AALAT-C | ES14 plus pLSI1048, pLSI1048C, ispLSI2192, pLSI3160, pLSI3192, ispGDX160, ispLSI5256. |
ES31-AALAT-E | ES15 plus pLSI3256, pLSI3320, ispLSI5384, ispLSI5512. |
ES56-AALAT-F | ES31 plus ispLSI8600, ispLSI8840. |
ES57-AALAT-G | ES56 plus ispLSI81080. |
ES56-AALAT-F | ES31 plus ispLSI8600, ispLSI8840. |
ES58-AALAT-H | ES57 plus . |
ES59-AALAT-I | ES58 plus . |
ES17-AALAT-Z | Tous les composants Lattice à partir des fichiers .sim produits l’outil de conception Lattice pLSI. |
ES17-AALAT-Z-FP | Version FASTpass de ES17-AALAT-Z. |
Les composants Lucent ORCA
La modélisation des composants Lucent ORCA est réalisée à partir de la netlist EDIF issue de l’outil de conception ORCA. Requiert un générateur de tests ATGEN S25, S55 ou S75.
ES48-AAORCA-E | 2c04, 2c06, 2c08, 2c04a, 2c06a, 2c08a, 2t04a, 2t06a, 2t08a. |
ES49-AAORCA-F | ES48 plus 2c10, 2c12, 2c15, 2c10a, 2c12a, 2c15a, 2t10a, 2t12a, 2t15a. |
ES50-AAORCA-G | ES49 plus 2c26, 2c26a, 2t26a, 3t20. |
ES51-AAORCA-H | ES50 plus 2c40, 2c40a, 2t40a, 3t30, 3c55, 3t55. |
ES53-AAORCA-I | ES51 plus 3c80, 3t80. |
ES54-AAORCA-J | ES53 plus 3t125. |
ES52-AAORCA-Z | Tous les composants ORCA à partir de la netlist EDIF. |
ES52-AAORCA-Z-FP | Version FASTpass de ES52-AAORCA-Z. |
Les composants QuickLogic
La modélisation des composants QuickLogic est réalisée à partir de la netlist EDIF issue de l’outil pASIC de QuickLogic. Requiert un générateur de tests ATGEN S25, S55 ou S75.
ES26-AAQL-B | 8x12B, CYP381, CYP382. |
ES27-AAQL-C | ES26 plus 12x16B, CYP383, CYP384. |
ES28-AAQL-E | ES27 plus 16x24B, CYP385, CYP386, 2003. |
ES29-AAQL-F | ES28 plus 24x32B, CYP388, 2005, 2007, 3012. |
ES46-AAQL-G | ES29 plus 2009, 2012, 2016, 3025, 3040. |
ES47-AAQL-H | ES46 plus 2020, 3060. |
ES30-AAQL-Z | Tous les composants QuickLogic à partir de la netlist EDIF produits par pASIC. |
ES30-AAQL-Z-FP | Version FASTpass de ES30-AAQL-Z. |
Les composants Xilinx
La modélisation des composants Xilinx est réalisée à partir des fichiers .xnf et .edn produits de l’outil XILINX XACT. Requiert un générateur de tests ATGEN S25, S55 ou S75.
ES1-LCA2ICT | Les LCA des séries XC2000, XC3000, ou XC4000 utilisant une programmation dédiée au test |
ES10-AALCA-B | ES1 plus XC2018, XC2064, XC3020, XC3120, XC4002, XC5202, XC7272, XC7336, XC7354, XC7372, XC9536, XC9572, XC95108. |
ES11-AALCA-C | ES10 plus XC3030, XC3042, XC3130, XC3142, XC4003, XC4004, XC5204, XC73108, XC73144, XC95144, XC95160, XC95180, XC95216, XCS05. |
ES12-AALCA-D | ES11 plus XC3064, XC3164, XC4005, XC4006, XCS10. |
ES13-AALCA-E | ES11 plus XC3064, XC3164, XC4005, XC4006, XCS10, XC3090, XC3190, XC4008, XC4010, XC5206, XC95288, XC95432, XCS20. |
ES24-AALCA-F | ES13 plus XC3195, XC4013, XC4020, XC5210, XC5215, XC95576, XCS30, XCS40. |
ES25-AALCA-G | ES24 plus XC4025, XC4028, XC4036. |
ES45-AALCA-H | ES25 plus XC4044, XC4052, XC4062, XCV50. |
ES60-AALCA-I | ES45 plus XC4085, XC40110, XC40150, XCV100, XCV150. |
ES18-AALCA-Z | Tous les composants Xilinx à partir des fichiers .xnf et EDIF. |
ES18-AALCA-Z-FP | Version FASTpass de ES18-AALCA-Z. |
La conversion vers les testeurs de carte
TS1 JED2VCL Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format VCL ou PCF pour les testeurs in-circuit HP3065/3070, complétée par la séquence de “disable” (garde numérique).
TS4 JED2DTS Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format DTS pour les testeurs in-circuit GenRad 227x/228x, complétée par la séquence de “disable” (garde numérique).
TS15 JED2DTGL Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format DTGL pour les testeurs in-circuit GenRad 2750, complétée par la séquence de “disable” (garde numérique).
TS7 JED2S30 Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format .sr et .d pour les testeurs in-circuit Schlumberger/ Factron Series 30, complétée par la séquence de “disable” (garde numérique).
TS17 JED2MED Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format Mediator pour les testeurs in-circuit Schlumberger 700, complétée par la séquence de “disable” (garde numérique).
TS12 JED2L200 Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format .sym et .chr pour les testeurs in-circuit Teradyne L200/L300, complétée par la séquence de “disable” (garde numérique).
TS19 JED2ZDD Conversion des fichiers .jwv produits par ATGEN ou TESTBSDL en format Data Director pour les testeurs in-circuit Teradyne/Zenthel Z800.
TS20 JED2Z8K Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format vector template pour les testeurs in-circuit Z8000, complétée par la séquence de “disable” (garde numérique).
TS29 JED2Z18 Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format .asc pour les testeurs in-circuit Teradyne Z1800, complétée par la séquence de “disable” (garde numérique).
Ce outil peut aussi être utilisé pour la conversion des clusters Boundary-Scan à destination de l’outil Teradyne Victory.
TS34 JED2SPEC Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format .bdf pour les testeurs in-circuit Teradyne Spectrum, complétée par la séquence de “disable” (garde numérique).
TS30 JED2LSM Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format LSM pour les testeurs in-circuit Marconi 80/53X, complétée par la séquence de “disable” (garde numérique).
TS33 JED2TDL Conversion des fichiers .jwv et .cnn produits par ATGEN ou TESTBSDL en format TDL pour les testeurs in-circuit Marconi 4210, complétée par la séquence de “disable” (garde numérique).
La conversion vers les testeurs de composant
TS2 JTL Conversion des fichiers .jwv produits par ATGEN ou TESTBSDL en format LMI pour les testeurs de composants Sentry 7, 20, 21. Uniquement disponible sur les plates-formes Microsoft.
TS6 JTS Conversion des fichiers .jwv et .jdl produits par ATGEN ou TESTBSDL en test fonctionnel complété par les tests paramétriques DC pour les testeurs de composants Sentry 7, 20, 21.
TS14 JTS+ Conversion des fichiers .jdl produits par AADELAY en test fonctionnel complété par les tests paramétriques DC et AC pour les testeurs de composants Sentry 7, 20, 21.
Requiert une licence AADELAY.
TS28 JED2S15 Conversion des fichiers .jdl produits par AADELAY en test fonctionnel complété par les tests paramétriques DC et AC pour les testeurs de composants Sentry S15 et S50.
Requiert une licence AADELAY.
TS35 JED283K+ Conversion des fichiers .jdl produits par AADELAY en test fonctionnel complété par les tests paramétriques DC et AC pour les testeurs de composants HP 83000.
Requiert une licence AADELAY.
TS24 JED2HP82K+ Conversion des fichiers .jdl produits par AADELAY en test fonctionnel complété par les tests paramétriques DC et AC pour les testeurs de composants HP 82000.
Requiert une licence AADELAY.
TS18 JED2MCT+ Conversion des fichiers .jdl produits par AADELAY en test fonctionnel complété par les tests paramétriques DC et AC pour les testeurs de composants MCT 2000.
Requiert une licence AADELAY.
TS21 JED2TRIL+ Conversion des fichiers .jdl produits par AADELAY en test fonctionnel complété par les tests paramétriques DC et AC pour les testeurs de composants Trillium.
Requiert une licence AADELAY.
TS22 JED2ADV+ Conversion des fichiers .jdl produits par AADELAY en test fonctionnel complété par les tests paramétriques DC et AC pour les testeurs de composants Advantest.
Requiert une licence AADELAY.
TS25 JED2ANDO+ Conversion des fichiers .jdl produits par AADELAY en test fonctionnel complété par les tests paramétriques DC et AC pour les testeurs de composants ANDO.
Requiert une licence AADELAY.
TS16 JED2ATP+ Conversion des fichiers .jdl produits par AADELAY en test fonctionnel complété par les tests paramétriques DC et AC pour les testeurs de composants GenRad 115, 125, 130.
Requiert une licence AADELAY.
TS27 JWV2ACT Conversion des fichiers .jwv produits par ATGEN en format pour le programmateur Actel Activator.
La conversion vers les simulateurs
TS37 JED2V Conversion des fichiers .jwv produits par ATGEN en format Verilog et VHDL.
TS8 LASMOD LASAR Génération des modèles de simulation Teradyne LASAR V6 au format structurel incluant des données temporelles précises. Pour les modèles ATGEN, l’utilisateur a la possibilité de créer de nouvelles données temporelles dans le fichier de paramètre pour modéliser les différentes variantes d’un composant.
Requiert ATGEN ou MODBSDL.
TS23 AAGHDL HILO Génération des modèles de simulation GenRad HILO au format .cct incluant des données temporelles précises. Pour les modèles ATGEN, l’utilisateur a la possibilité de créer de nouvelles données temporelles dans le fichier de paramètre pour modéliser les différentes variantes d’un composant.
Requiert ATGEN ou MODBSDL.
TS36 ACUMOD Verilog Génération des modèles de simulation Verilog incluant des données temporelles précises. Pour les modèles ATGEN, l’utilisateur a la possibilité de créer de nouvelles données temporelles dans le fichier de paramètre pour modéliser les différentes variantes d’un composant.
Requiert ATGEN ou MODBSDL.