oagFpgaSynthesis.h

Go to the documentation of this file.

#if !defined(oagFpgaSynthesis_P)
#define oagFpgaSynthesis_P

#include "oaDesignDB.h"
//#include "oagAiGraph.h"
#include "oagFpga.h"
#include "oagFpgaVerilogDesign.h"
#include "oagFpgaManager.h"
#include "oagFpgaMultiRef.h"
#include <list>
#include <set>
#include <string>

using namespace std;
    
namespace oagFpga {

// *****************************************************************************
// Synthesis
//  
//  
// *****************************************************************************

class Synthesis {

    friend class MapperUtils;

    public:

        static void setLibrary(oa::oaLib *library) { currentLibrary = library; }
        static void setView(oa::oaView *view) { currentView = view; }
        static void setOverwriteStructure(bool overwrite);
        static void addLeafLibrary(oa::oaLib *library) { 
            leafLibs.push_back(library); }
        static void addLeafView(const oa::oaScalarName &viewName) { 
            leafViews.push_back(viewName); 
        }

  protected:

// *****************************************************************************
// Type definitions for various objects.
// *****************************************************************************

typedef struct {int intValue; int bitWidth;}              ConstantValue;
typedef struct {int upper; int lower;}                    Bounds;

// *****************************************************************************
 

    static oa::oaModule*           createModule(const string identifier);
    static oa::oaModScalarNet*     createScalarNet(const string identifier);
    static oa::oaModBusNet*        createBusNet(const string identifier, 
                                                    int start, int stop);
    static oa::oaModTerm*          createTerm(oa::oaModNet* net, 
                                      const string identifier, 
                                      oa::oaTermType direction, 
                                      unsigned int portPosition = oacNullIndex);
    static oa::oaModInst*          instantiateModule(oa::oaDesign *master, 
                                      const string name);   
    static void                    connectPort(oa::oaModInst *inst, 
                                      oa::oaModNet* net, 
                                      unsigned int portPosition);
    static void                    connectPort(oa::oaModInst *inst, 
                                      oa::oaModNet* net, 
                                      const string port);

    static oa::oaModNet*           findNet(const string identifier);
    static oa::oaModScalarNet*     findScalarNet(const string identifier);
    static oa::oaModBusNet*        findBusNet(const string identifier);
    static oa::oaModBusNetBit*     findBusNetBit(const string identifier, 
                                        const int bit);
    static oa::oaModule*           findModule(const string identifier);
    static bool                    checkForExistenceOfDesign(
                                        oa::oaScalarName libName,
                                        oa::oaScalarName cellName,
                                        oa::oaScalarName viewName);


    static void                    assignMultiRef(oa::oaModBitNet *net, 
                                        const MultiRef e);
    /*
    static void                    annotateAsynchronousSignal(
                                        BBRef sequential, 
                                        const string label, 
                                        MultiRef signal);
    */

    static MultiRef binaryOpt(RtlNode::OptType optType,
                MultiRef e1, MultiRef e2);
    static MultiRef unaryBusOpt(RtlNode::OptType optType, MultiRefBus &l);
    static MultiRef binaryBusOpt(RtlNode::OptType optType, MultiRefBus &l1,
                MultiRefBus &l2);
    static void unaryBusInputOutputOpt(RtlNode::OptType optType, int
                numOutBits, MultiRefBus &result, MultiRefBus &l) ;
    static void binaryBusInputOutputOpt(RtlNode::OptType optType, int
                numOutBits, MultiRefBus &result, MultiRefBus &l1, 
                MultiRefBus &l2) ;


    static MultiRef                notOf(MultiRef e);
    static MultiRef                orOf(MultiRef e1, MultiRef e2);
    static MultiRef                andOf(MultiRef e1, MultiRef e2);
    static MultiRef                xorOf(MultiRef e1, MultiRef e2);
    static MultiRef                norOf(MultiRef e1, MultiRef e2);
    static MultiRef                nandOf(MultiRef e1, MultiRef e2);
    static MultiRef                xnorOf(MultiRef e1, MultiRef e2);
    static MultiRef                mux(MultiRef select, 
                                        MultiRef in0, MultiRef in1);
    
    
    static MultiRef                reductionOr(MultiRefBus &l);
    static MultiRef                reductionAnd(MultiRefBus &l);
    static MultiRef                reductionXor(MultiRefBus &l);
    static MultiRef                reductionNand(MultiRefBus &l);
    static MultiRef                reductionNor(MultiRefBus &l);
    static MultiRef                reductionXnor(MultiRefBus &l);
    static MultiRef                lessThan(MultiRefBus &l1, MultiRefBus &l2);
    static MultiRef                lessThanEqual(MultiRefBus &l1, 
                                        MultiRefBus &l2);
    static MultiRef                equalTo(MultiRefBus &l1, MultiRefBus &l2);
    static MultiRef                greaterThan(MultiRefBus &l1, 
                                        MultiRefBus &l2);
    static MultiRef                greaterThanEqual(MultiRefBus &l1, 
                                        MultiRefBus &l2);
    static MultiRef                notEqualTo(MultiRefBus &l1, MultiRefBus &l2);
    static MultiRef                logicAnd(MultiRefBus &l1, MultiRefBus &l2);
    static MultiRef                logicOr(MultiRefBus &l1, MultiRefBus &l2);
    static MultiRef                logicNot(MultiRefBus &l1);
    static MultiRef                mux(MultiRefBus& select, MultiRefBus &in0);
    static void                    mux(MultiRefBus &result, 
                                        MultiRefBus &select, 
                                        MultiRefBus &in0, MultiRefBus &in1);

    static void                    arithmeticAdd(MultiRefBus &result, 
                                                 MultiRefBus &l1, 
                                                 MultiRefBus &l2);
    static void                    arithmeticSubtract(MultiRefBus &result, 
                                                      MultiRefBus &l1, 
                                                      MultiRefBus &l2);
    static void                    arithmeticSubtract(MultiRefBus &result, 
                                                MultiRef &negFlag, 
                                                MultiRefBus &l1, 
                                                MultiRefBus &l2);
    static void                    arithmeticMultiply(MultiRefBus &result, 
                                                      MultiRefBus &l1, 
                                                      MultiRefBus &l2);
    static void                    arithmeticDivide(MultiRefBus &result, 
                                                    MultiRefBus &l1, 
                                                    MultiRefBus &l2);
    static void                    arithmeticModulo(MultiRefBus &result, 
                                                    MultiRefBus &l1, 
                                                    MultiRefBus &l2);
    static void                    leftShift(MultiRefBus &result, 
                                                    MultiRefBus &l1, 
                                                    MultiRefBus &l2);


    static MultiRef                latch(MultiRef enable, 
                                            MultiRef in,
                                            const string name = "");
    static MultiRef                seq(MultiRef in, MultiRef clock,
                                            const string name = "");
    static MultiRef                seq(MultiRef in, MultiRef clock, 
                                        MultiRef aLoad, MultiRef aData, 
                                        const string name = "");


    static MultiRef                constantZero();
    static MultiRef                constantOne();
    static void                    zeroExpand(MultiRefBus &l1, 
                                                MultiRefBus &l2);
    static void                    multiBitConstant(MultiRefBus &result, 
                                                int value, int bits = 0);


    static oa::oaNameSpace        *nameSpace;    
    static oa::oaLib              *currentLibrary;
    static oa::oaView             *currentView;
    static Manager                *currentManager;
    static oa::oaModule           *currentModule;
    static bool                    overwriteStructure;

    // leaf libraries
    static list<oa::oaLib*>        leafLibs;
    static list<oa::oaScalarName>  leafViews;

    // naming settings
    static const unsigned int      NAME_LENGTH_LIMIT = 256;


  

};

}

#endif

---