Usando dos relojes diferentes en mi afirmación

0

Estoy usando SystemVerilog para escribir aserciones para probar el comportamiento de mi diseño. En mi diseño tengo dos relojes: el habitual CLK_int y otro reloj llamado I2C_IF_SCL_out . En la especificación de mi diseño:

SDA_Tick_shift = 01 para un período CLK_int, 10 CLK_int periodos después de caer del borde de I2C_IF_SCL_out .

Lo que estoy preguntando es ¿puedo usar dos relojes en mi bloque de reloj @(posedge CLK_int) y @(I2C_IF_SCL_out) ?

    
pregunta mariam

1 respuesta

1

Suponiendo que CLK_int tiene una frecuencia mucho mayor que I2C_IF_SCL_out , lo que probablemente desee es

assert property (@posedge CLK_int $fell(I2C_IF_SCL_out) |-> ##10 SDA_Tick_shift==2'b01)

De lo contrario, tendría que explicar sus requisitos con mucho más detalle.

    
respondido por el dave_59

Lea otras preguntas en las etiquetas