File biddyInOut.c contains various parsers and generators. More...

#include "biddyInt.h"

Include dependency graph for biddyInOut.c:

Macros
#define	LINESIZE 999 /* maximum length of each input line read */

#define	BUFSIZE 99999 /* maximum length of a buffer */

#define	INOUTNUM 999 /* maximum number of inputs and outputs */

#define	REGNUM 9999 /* maximum number of registers */

#define	TOKENNUM 9999 /* maximum number of tokens */

#define	GATENUM 9999 /* maximum number of gates */

#define	LINENUM 99999 /* maximum number of lines */

#define	WIRENUM 99999 /* maximum number of wires */

#define	GATESNUM 9

#define	oAND 1

#define	oOR 2

#define	oEXOR 3

Functions
Biddy_String	Biddy_Managed_Eval0 (Biddy_Manager MNG, Biddy_String s)
	Function Biddy_Managed_Eval0 evaluates raw format. More...

Biddy_Edge	Biddy_Managed_Eval1x (Biddy_Manager MNG, Biddy_String s, Biddy_LookupFunction lf)
	Function Biddy_Managed_Eval1x evaluates prefix AND-OR-EXOR-NOT format. More...

Biddy_Edge	Biddy_Managed_Eval2 (Biddy_Manager MNG, Biddy_String boolFunc)
	Function Biddy_Managed_Eval2 evaluates infix format. More...

Biddy_String	Biddy_Managed_ReadBddview (Biddy_Manager MNG, const char filename[], Biddy_String name)
	Function Biddy_Managed_ReadBddview reads bddview file and creates a Boolean function. More...

void	Biddy_Managed_ReadVerilogFile (Biddy_Manager MNG, const char filename[], Biddy_String prefix)
	Function Biddy_Managed_ReadVerilogFile reads Verilog file and creates variables for all primary inputs and Boolean functions for all primary outputs. More...

void	Biddy_Managed_PrintfBDD (Biddy_Manager MNG, Biddy_Edge f)
	Function Biddy_Managed_PrintfBDD writes raw format using printf. More...

void	Biddy_Managed_WriteBDD (Biddy_Manager MNG, const char filename[], Biddy_Edge f, Biddy_String label)
	Function Biddy_Managed_WriteBDD writes raw format using fprintf. More...

void	Biddy_Managed_PrintfTable (Biddy_Manager MNG, Biddy_Edge f)
	Function Biddy_Managed_PrintfTable writes truth table using printf. More...

void	Biddy_Managed_WriteTable (Biddy_Manager MNG, const char filename[], Biddy_Edge f)
	Function Biddy_Managed_WriteTable writes truth table using fprintf. More...

void	Biddy_Managed_PrintfSOP (Biddy_Manager MNG, Biddy_Edge f)
	Function Biddy_Managed_PrintfSOP writes SOP using printf. More...

void	Biddy_Managed_WriteSOP (Biddy_Manager MNG, const char filename[], Biddy_Edge f)
	Function Biddy_Managed_WriteSOP writes SOP using fprintf. More...

unsigned int	Biddy_Managed_WriteDot (Biddy_Manager MNG, const char filename[], Biddy_Edge f, const char label[], int id, Biddy_Boolean cudd)
	Function Biddy_Managed_WriteDot writes dot/graphviz format using fprintf. More...

unsigned int	Biddy_Managed_WriteBddview (Biddy_Manager MNG, const char filename[], Biddy_Edge f, const char label[], void *xytable)
	Function Biddy_Managed_WriteBDDView writes bddview format using fprintf. More...

Variables
const char *	VerilogFileGateName []

Detailed Description

Description

PackageName [Biddy]
Synopsis    [Biddy provides data structures and algorithms for the
             representation and manipulation of Boolean functions with
             ROBDDs, 0-sup-BDDs, and TZBDDs. A hash table is used for quick
             search of nodes. Complement edges decreases the number of
             nodes. An automatic garbage collection with a system age is
             implemented. Variable swapping and sifting are implemented.]

FileName    [biddyInOut.c]
Revision    [$Revision: 450 $]
Date        [$Date: 2018-06-25 12:35:18 +0200 (pon, 25 jun 2018) $]
Authors     [Robert Meolic (robert.meolic@um.si),
             Ales Casar (ales@homemade.net),
             Jan Kraner (jankristian.kraner@student.um.si),
             Ziga Kobale (ziga.kobale@student.um.si),
             Volodymyr Mihav (mihaw.wolodymyr@gmail.com),
             David Kebo Houngninou (dhoungninou@smu.edu)]

Copyright

Biddy is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

Biddy is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.

More info

Function Documentation

◆ Biddy_Managed_Eval0()

Biddy_String Biddy_Managed_Eval0	(	Biddy_Manager	MNG,
		Biddy_String	s
	)

Description

First word is a name. It is followed by raw format. Function return name of the formula.

Side effects

All variables should already exists in the correct ordering! Not reentrant.

More info

Macro Biddy_Eval0(s) is defined for use with anonymous manager.

Definition at line 172 of file biddyInOut.c.

◆ Biddy_Managed_Eval1x()

Biddy_Edge Biddy_Managed_Eval1x	(	Biddy_Manager	MNG,
		Biddy_String	s,
		Biddy_LookupFunction	lf
	)

Description

Parameter lf is a lookup function in the user-defined cache table.

Side effects

Not reentrant.

More info

Macro Biddy_Eval1x(s,lf) is defined for use with anonymous manager. Macros Biddy_Managed_Eval1(s) and Biddy_Eval1(s) are defined for use without searching in the user-defined cache.

Definition at line 249 of file biddyInOut.c.

◆ Biddy_Managed_Eval2()

Biddy_Edge Biddy_Managed_Eval2	(	Biddy_Manager	MNG,
		Biddy_String	boolFunc
	)

Description

Parenthesis are implemented. Operators' priority is implemented. Formula Tree is suported (global table, only). Boolean constants are '0' and '1'. Boolean operators are NOT (~!), AND (&*), OR (|+), XOR (^%), XNOR (-), IMPLIES (><), NAND (@), NOR (#), BUTNOT (), NOTBUT (/).

Side effects

More info

Original author: Volodymyr Mihav (mihaw.nosp@m..wol.nosp@m.odymy.nosp@m.r@gm.nosp@m.ail.c.nosp@m.om) Original implementation of this function is on https://github.com/sungmaster/liBDD. Macro Biddy_Eval2(boolFunc) is defined for use with anonymous manager.

Definition at line 348 of file biddyInOut.c.

◆ Biddy_Managed_PrintfBDD()

void Biddy_Managed_PrintfBDD	(	Biddy_Manager	MNG,
		Biddy_Edge	f
	)

Description

This function is intended for writing to an output channel via macro which overrides the meaning of standard printf calls. For writing raw format into the file, use Biddy_Managed_WriteBDD.

Side effects

More info

Macro Biddy_PrintfBDD(f) is defined for use with anonymous manager.

Definition at line 1080 of file biddyInOut.c.

◆ Biddy_Managed_PrintfSOP()

void Biddy_Managed_PrintfSOP	(	Biddy_Manager	MNG,
		Biddy_Edge	f
	)

Description

Side effects

More info

Definition at line 1376 of file biddyInOut.c.

◆ Biddy_Managed_PrintfTable()

void Biddy_Managed_PrintfTable	(	Biddy_Manager	MNG,
		Biddy_Edge	f
	)

Description

This function is intended for writing to an output channel via macro which overrides the meaning of standard printf calls. For writing truth table into the file, use Biddy_Managed_WriteTable.

Side effects

More info

Thanks to Jan Kraner (jankr.nosp@m.isti.nosp@m.an.kr.nosp@m.aner.nosp@m.@stud.nosp@m.ent..nosp@m.um.si) and Ziga Kobale (ziga..nosp@m.koba.nosp@m.le@st.nosp@m.uden.nosp@m.t.um..nosp@m.si). Macro Biddy_PrintfTable(f) is defined for use with anonymous manager.

Definition at line 1157 of file biddyInOut.c.

◆ Biddy_Managed_ReadBddview()

Biddy_String Biddy_Managed_ReadBddview	(	Biddy_Manager	MNG,
		const char	filename[],
		Biddy_String	name
	)

Description

If (name != NULL) then name will be used for the resulting BDD. If (name == NULL) then the resulting BDD will have name given in the file. Resulting BDD will not be preserved. See Biddy_Managed_ConstructBDD for the format of its arguments.

Side effects

To improve efficiency, only the first lines with "type", "var", and "label" are used.

More info

Macro Biddy_ReadBddview(filename) is defined for use with anonymous manager.

Definition at line 543 of file biddyInOut.c.

◆ Biddy_Managed_ReadVerilogFile()

void Biddy_Managed_ReadVerilogFile	(	Biddy_Manager	MNG,
		const char	filename[],
		Biddy_String	prefix
	)

Description

If (prefix != NULL) then the created BDD variables and formulae will get it.

Side effects

More info

Original author: David Kebo Houngninou, Southern Methodist University Original implementation of this function is on https://github.com/davidkebo/verilog-parser Macro Biddy_ReadVerilogFile(filename,prefix) is defined for use with anonymous manager.

Definition at line 979 of file biddyInOut.c.

◆ Biddy_Managed_WriteBDD()

void Biddy_Managed_WriteBDD	(	Biddy_Manager	MNG,
		const char	filename[],
		Biddy_Edge	f,
		Biddy_String	label
	)

Description

Side effects

More info

Macro Biddy_WriteBDD(f) is defined for use with anonymous manager.

Definition at line 1110 of file biddyInOut.c.

◆ Biddy_Managed_WriteBddview()

unsigned int Biddy_Managed_WriteBddview	(	Biddy_Manager	MNG,
		const char	filename[],
		Biddy_Edge	f,
		const char	label[],
		void *	xytable
	)

Description

Output bddview format. Parameter table is optional, if not NULL then it must contain node names and coordinates. If (filename == NULL) then output is to stdout.

Side effects

A conservative approach to list all the existing variables in the manager (and not only the dependent ones) is used. Variable names containing # are adpated. To support EST, also variable names containing <> are adapted. The optional table is type-casted to BiddyXYTable.

More info

Macro Biddy_WriteBddview(filename,f,label) is defined for use with anonymous manager.

Definition at line 1804 of file biddyInOut.c.

◆ Biddy_Managed_WriteDot()

unsigned int Biddy_Managed_WriteDot	(	Biddy_Manager	MNG,
		const char	filename[],
		Biddy_Edge	f,
		const char	label[],
		int	id,
		Biddy_Boolean	cudd
	)

Description

Output dot format. Two approaches are implemented. The CUDD-like implementation is copyied from CUDD 3.0.

Side effects

If (id != -1) then id is used instead of <...> for variable names. If (filename == NULL) then output is to stdout. Function resets all variables value. Variable names containing # are adpated.

More info

Macro Biddy_WriteDot(filename,f,label,id,cudd) is defined for use with anonymous manager.

Definition at line 1581 of file biddyInOut.c.

◆ Biddy_Managed_WriteSOP()

void Biddy_Managed_WriteSOP	(	Biddy_Manager	MNG,
		const char	filename[],
		Biddy_Edge	f
	)

Description

Side effects

More info

Definition at line 1460 of file biddyInOut.c.

◆ Biddy_Managed_WriteTable()

void Biddy_Managed_WriteTable	(	Biddy_Manager	MNG,
		const char	filename[],
		Biddy_Edge	f
	)

Description

Side effects

More info

Thanks to Jan Kraner (jankr.nosp@m.isti.nosp@m.an.kr.nosp@m.aner.nosp@m.@stud.nosp@m.ent..nosp@m.um.si) and Ziga Kobale (ziga..nosp@m.koba.nosp@m.le@st.nosp@m.uden.nosp@m.t.um..nosp@m.si). Macro Biddy_WriteTable(f) is defined for use with anonymous manager.

Definition at line 1266 of file biddyInOut.c.

Variable Documentation

◆ VerilogFileGateName

const char* VerilogFileGateName[]

Initial value:

= {
  "buf",
  "and",
  "nand",
  "or",
  "nor",
  "xor",
  "xnor",
  "not", "inv"
}

Definition at line 66 of file biddyInOut.c.

Macros

Functions

Variables

Detailed Description

Description

Copyright

More info

Function Documentation

◆ Biddy_Managed_Eval0()

Description

Side effects

More info

◆ Biddy_Managed_Eval1x()

Description

Side effects

More info

◆ Biddy_Managed_Eval2()

Description

Side effects

More info

◆ Biddy_Managed_PrintfBDD()

Description

Side effects

More info

◆ Biddy_Managed_PrintfSOP()

Description

Side effects

More info

◆ Biddy_Managed_PrintfTable()

Description

Side effects

More info

◆ Biddy_Managed_ReadBddview()

Description

Side effects

More info

◆ Biddy_Managed_ReadVerilogFile()

Description

Side effects

More info

◆ Biddy_Managed_WriteBDD()

Description

Side effects

More info

◆ Biddy_Managed_WriteBddview()

Description

Side effects

More info

◆ Biddy_Managed_WriteDot()

Description

Side effects

More info

◆ Biddy_Managed_WriteSOP()

Description

Side effects

More info

◆ Biddy_Managed_WriteTable()

Description

Side effects

More info

Variable Documentation

◆ VerilogFileGateName