Реверс-инжиниринг Z80

[aviator]

Несколько не понял вопроса.
155ТМ2 ни разу не работает по двум фронтам тактового сигнала и вроде на них собрано до фига и больше различных устройств. Я не вижу причин , которые однозначно не позволят реализовать "этот проект"

Разные действия, грубо говоря, означают разные логические функции. Следовательно должно быть два always блока.
always @(posedge clk) begin ... end
always @(negedge clk) begin ... end
Опять же, как оно синтезируется в соверменных FPGA, с учётом упрощения логических блоков, о котором вы упоминали...