mirror of
https://github.com/aolofsson/oh.git
synced 2025-02-07 06:44:09 +08:00
19 lines
677 B
Coq
19 lines
677 B
Coq
|
//#############################################################################
|
||
|
|
//# Function: Multi-domain isolation signal #
|
||
|
|
//#############################################################################
|
||
|
|
//# Author: Andreas Olofsson #
|
||
|
|
//# License: MIT (see LICENSE file in OH! repository) #
|
||
|
|
//#############################################################################
|
||
|
|
|
||
|
|
module asic_isolo
|
||
|
|
#(parameter PROP = "DEFAULT")
|
||
|
|
(
|
||
|
|
input iso, // isolation signal
|
||
|
|
input in, // input
|
||
|
|
output out // out = ~iso & in
|
||
|
|
);
|
||
|
|
|
||
|
|
assign out = ~iso & in;
|
||
|
|
|
||
|
|
endmodule
|