Evaluarea timpului de întârziere în plăcile de cablaj imprimat în baza reţelelor Petri hard temporizate

Abstract

În lucrare este propusă o metodă de sinteză a sistemelor pentru evaluarea timpului de întârziere în plăcile de cablaj imprimat în baza reţelelor Petri hard temporizate. Pentru specificarea şi modelarea sistemului de evaluare a timpului de întârziere sunt utilizate reţelele Petri sincrone temporizate. Trecerea la descrierea hard a sistemului se realizează prin translatarea modelului de reţea Petri temporizată în reţea Petri Hard Temporizată (RPHT). Implementarea directă a modelului RPHT în arhitectura hardware reconfigurabilă (FPGA) asigură realizarea circuitului logic al sistemului de evaluare a timpului de întârziere.