Не трогал SystemC некоторое время. Теперь вот актуализировалось.
Требуется сделать золотую модель по уже написанному верилоговскому коду. Имею следующий вопрос (схожий с корневым сообщением, но всё ж чуть иной).
В верилоге имеем регистры-триггеры, работающие по клоку, и комбинационную логику, местами описанную через “wire”. В SystemC хочу сохранить и треггеры, и “ваиры” (провода). Казалось бы просто, но что-то я заглючил. Предположим следующую ситуацию.
Есть триггер А, в который по клоку попадает выход триггера B:
reg [2:0] A; reg [2:0] B; always @(posedge clk) A<=B;
есть провод C, всегда равный A+1:
wire C=A+1;
и есть также процесс, обновляющий регистр B:
always @(posedge clk) B<=C*3;
Предположим также, что выходы A, B и C заводятся на ещё большое количество портов в других модулях.
Вопрос: как все три указанные сущности отобразить в SystemC?
Допустим, завожу три процесса. В первом чувствительность к клоку, во втором к изменению A. А какая тогда чувствительность у процесса с обновлением регистра B?
|