Chetan Sharma
Este artigo apresenta um novo tipo de design de switch utilizando a veriologia. Switch é uma parte importante dos chips VLSI. Para fazer qualquer switch RTL (Register Transfer Level) é necessário transmitir os dados através de diferentes portas. Neste switch, o controlo sobre a transferência de dados é também proporcionado pela utilização de diferentes conjuntos de registos, conforme descrito neste artigo. Outra importância desta alteração são as propriedades expansíveis utilizando espaço de reserva para uso futuro.