foss-eda-tools / skywater-pdk / libs / sky130_fd_sc_hs / a13469d261b5272363c02fef366af22477f2d081 / . / cells / maj3 / sky130_fd_sc_hs__maj3.specify.v

/* | |

* Copyright 2020 The SkyWater PDK Authors | |

* | |

* Licensed under the Apache License, Version 2.0 (the "License"); | |

* you may not use this file except in compliance with the License. | |

* You may obtain a copy of the License at | |

* | |

* https://www.apache.org/licenses/LICENSE-2.0 | |

* | |

* Unless required by applicable law or agreed to in writing, software | |

* distributed under the License is distributed on an "AS IS" BASIS, | |

* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |

* See the License for the specific language governing permissions and | |

* limitations under the License. | |

* | |

* SPDX-License-Identifier: Apache-2.0 | |

*/ | |

specify | |

if ((!B&C)) (A +=> X) = (0:0:0,0:0:0); | |

if ((B&!C)) (A +=> X) = (0:0:0,0:0:0); | |

if ((!A&C)) (B +=> X) = (0:0:0,0:0:0); | |

if ((A&!C)) (B +=> X) = (0:0:0,0:0:0); | |

if ((!A&B)) (C +=> X) = (0:0:0,0:0:0); | |

if ((A&!B)) (C +=> X) = (0:0:0,0:0:0); | |

endspecify |