detecttop.ref

openaccess与verilog互相转化时所用的源代码

******************************************************************************
* No Explode, No EMH
******************************************************************************
Contents of detectTop_design.remove1.netlist
    Contents of TOP module remove1
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)



Contents of detectTop_design.remove2.netlist
    Contents of TOP module remove2
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)
        ModInst:
        	Is Bound:		yes
        	InstName:		I5
        	LibName:		detectTop_design
        	CellName:		remove1
        	ViewName:		netlist
        	Master Cell Name:	remove1
        	NumBits:		1
        ModInstTerm:
        	Net:	io
        	Inst:	I5
	Posit:	0 (bound to 'io')



Contents of detectTop_design.keep2.netlist
    Contents of TOP module keep2
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)
        ModInst:
        	Is Bound:		no
        	InstName:		I3
        	LibName:		detectTop_design
        	CellName:		keep1
        	ViewName:		abstract
        	NumBits:		1
        ModInst:
        	Is Bound:		no
        	InstName:		I4
        	LibName:		detectTop_design
        	CellName:		keep1
        	ViewName:		abstract
        	NumBits:		1
        ModInstTerm:
        	Net:	io
        	Inst:	I4
	Posit:	0 (not bound)
        ModInstTerm:
        	Net:	io
        	Inst:	I3
	Posit:	0 (not bound)



Contents of detectTop_design.shared.netlist
    Contents of TOP module shared
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)



Contents of detectTop_design.candidateTop1.netlist
    Contents of TOP module candidateTop1
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)
        ModInst:
        	Is Bound:		yes
        	InstName:		I6
        	LibName:		detectTop_design
        	CellName:		shared
        	ViewName:		netlist
        	Master Cell Name:	shared
        	NumBits:		1
        ModInst:
        	Is Bound:		yes
        	InstName:		I7
        	LibName:		detectTop_design
        	CellName:		remove2
        	ViewName:		netlist
        	Master Cell Name:	remove2
        	NumBits:		1
        ModInst:
        	Is Bound:		yes
        	InstName:		I8
        	LibName:		detectTop_design
        	CellName:		remove2
        	ViewName:		netlist
        	Master Cell Name:	remove2
        	NumBits:		1
        ModInst:
        	Is Bound:		yes
        	InstName:		I9
        	LibName:		detectTop_design
        	CellName:		remove2
        	ViewName:		netlist
        	Master Cell Name:	remove2
        	NumBits:		1
        ModInst:
        	Is Bound:		yes
        	InstName:		I10
        	LibName:		detectTop_design
        	CellName:		remove2
        	ViewName:		netlist
        	Master Cell Name:	remove2
        	NumBits:		1
        ModInst:
        	Is Bound:		yes
        	InstName:		I11
        	LibName:		detectTop_design
        	CellName:		remove2
        	ViewName:		netlist
        	Master Cell Name:	remove2
        	NumBits:		1
        ModInstTerm:
        	Net:	io
        	Inst:	I11
	Posit:	0 (bound to 'io')
        ModInstTerm:
        	Net:	io
        	Inst:	I10
	Posit:	0 (bound to 'io')
        ModInstTerm:
        	Net:	io
        	Inst:	I9
	Posit:	0 (bound to 'io')
        ModInstTerm:
        	Net:	io
        	Inst:	I8
	Posit:	0 (bound to 'io')
        ModInstTerm:
        	Net:	io
        	Inst:	I7
	Posit:	0 (bound to 'io')
        ModInstTerm:
        	Net:	io
        	Inst:	I6
	Posit:	0 (bound to 'io')



Contents of detectTop_design.candidateTop2.netlist
    Contents of TOP module candidateTop2
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)
        ModInst:
        	Is Bound:		yes
        	InstName:		I1
        	LibName:		detectTop_design
        	CellName:		keep2
        	ViewName:		netlist
        	Master Cell Name:	keep2
        	NumBits:		1
        ModInst:
        	Is Bound:		yes
        	InstName:		I2
        	LibName:		detectTop_design
        	CellName:		shared
        	ViewName:		netlist
        	Master Cell Name:	shared
        	NumBits:		1
        ModInstTerm:
        	Net:	io
        	Inst:	I2
	Posit:	0 (bound to 'io')
        ModInstTerm:
        	Net:	io
        	Inst:	I1
	Posit:	0 (bound to 'io')



Contents of detectTop_design.keep2.netlist
    Contents of TOP module keep2
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)
        ModInst:
        	Is Bound:		yes
        	InstName:		I3
        	LibName:		detectTop_design
        	CellName:		keep1
        	ViewName:		netlist
        	Master Cell Name:	keep1
        	NumBits:		1
        ModInst:
        	Is Bound:		yes
        	InstName:		I4
        	LibName:		detectTop_design
        	CellName:		keep1
        	ViewName:		netlist
        	Master Cell Name:	keep1
        	NumBits:		1
        ModInstTerm:
        	Net:	io
        	Inst:	I4
	Posit:	0 (bound to 'io')
        ModInstTerm:
        	Net:	io
        	Inst:	I3
	Posit:	0 (bound to 'io')



Contents of detectTop_design.keep1.netlist
    Contents of TOP module keep1
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)



Reader succeeded



******************************************************************************
* No Explode, EMH
******************************************************************************
Info: The top module is candidateTop2
Contents of detectTop_designEMH.candidateTop2.netlist
    Contents of module keep2
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)
        ModInst:
        	Is Bound:		yes
        	InstName:		I4
        	Master Cell Name:	keep1
        	NumBits:		1
        ModInst:
        	Is Bound:		yes
        	InstName:		I3
        	Master Cell Name:	keep1
        	NumBits:		1
        ModInstTerm:
        	Net:	io
        	Inst:	I4
	Posit:	0 (bound to 'io')
        ModInstTerm:
        	Net:	io
        	Inst:	I3
	Posit:	0 (bound to 'io')
    Contents of module shared
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)
    Contents of TOP module candidateTop2
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)
        ModInst:
        	Is Bound:		yes
        	InstName:		I2
        	Master Cell Name:	shared
        	NumBits:		1
        ModInst:
        	Is Bound:		yes
        	InstName:		I1
        	Master Cell Name:	keep2
        	NumBits:		1
        ModInstTerm:
        	Net:	io
        	Inst:	I2
	Posit:	0 (bound to 'io')
        ModInstTerm:
        	Net:	io
        	Inst:	I1
	Posit:	0 (bound to 'io')
    Contents of module keep1
            Term: 'io' (ModScalarTerm)
        	TermType:	inputOutput
        	NumBits:	1
        	Net:		'io'
        	Position:	0
            Net: 'io' (ModScalarNet)



Reader succeeded