degate  0.1.2
ERCOpenPorts.h
Go to the documentation of this file.
00001 /* -*-c++-*-
00002 
00003   This file is part of the IC reverse engineering tool degate.
00004 
00005   Copyright 2008, 2009, 2010 by Martin Schobert
00006 
00007   Degate is free software: you can redistribute it and/or modify
00008   it under the terms of the GNU General Public License as published by
00009   the Free Software Foundation, either version 3 of the License, or
00010   any later version.
00011 
00012   Degate is distributed in the hope that it will be useful,
00013   but WITHOUT ANY WARRANTY; without even the implied warranty of
00014   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00015   GNU General Public License for more details.
00016 
00017   You should have received a copy of the GNU General Public License
00018   along with degate. If not, see <http://www.gnu.org/licenses/>.
00019 
00020 */
00021 
00022 #ifndef __ERCOPENPORTS_H__
00023 #define __ERCOPENPORTS_H__
00024 
00025 #include <RCBase.h>
00026 #include <LogicModel.h>
00027 
00028 namespace degate {
00029 
00030   /**
00031    * Electrical Rule Checks that detects open ports, that means if
00032    * a port is electrically unconnected.
00033    */
00034 
00035   class ERCOpenPorts : public RCBase {
00036 
00037   public:
00038 
00039     ERCOpenPorts();
00040 
00041     void run(LogicModel_shptr lmodel);
00042 
00043   };
00044 
00045 }
00046 
00047 #endif