panther03

 
from __future__ import annotations

import os
import sys


from exo import proc
from exo.libs.memories import *
from exo.platforms.x86 import *

panther03

// gemm.c from OpenBLAS/benchmarks folder: https://github.com/OpenMathLib/OpenBLAS/tree/develop/benchmark
// Ran as OPENBLAS_PARAM_M=1024 OPENBLAS_PARAM_N=1024 OPENBLAS_PARAM_K=1024 ./sgemm.goto
// Set OPENBLAS_USEUNOPT=1 to use the naive matmul, pass nothing for BLAS version
// CPU: AMD Ryzen 7 7735U

/***************************************************************************
Copyright (c) 2014, The OpenBLAS Project
All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are

panther03

# RUN: python %s | FileCheck %s
from __future__ import annotations

import os
import sys

import exo.API_cursors as pc
from exo import proc
from exo.libs.memories import *
from exo.platforms.x86 import *

panther03

################################################################
# This is a generated script based on design: design_1
#
# Though there are limitations about the generated script,
# the main purpose of this utility is to make learning
# IP Integrator Tcl commands easier.
################################################################

namespace eval _tcl {

panther03

diff --git a/abc/src/aig/gia/gia.h b/abc/src/aig/gia/gia.h
index d3eadfb..cd2dcc6 100644
--- a/abc/src/aig/gia/gia.h
+++ b/abc/src/aig/gia/gia.h
@@ -495,7 +495,7 @@ static inline int          Gia_ObjIsCi( Gia_Obj_t * pObj )                     {
 static inline int          Gia_ObjIsCo( Gia_Obj_t * pObj )                     { return pObj->fTerm && pObj->iDiff0 != GIA_NONE; } 
 static inline int          Gia_ObjIsAnd( Gia_Obj_t * pObj )                    { return!pObj->fTerm && pObj->iDiff0 != GIA_NONE; } 
 static inline int          Gia_ObjIsXor( Gia_Obj_t * pObj )                    { return Gia_ObjIsAnd(pObj) && pObj->iDiff0 < pObj->iDiff1; } 
-static inline int          Gia_MuxIObjIsd( Gia_Man_t * p, int iObj )           { return p->pMuxes && p->pMuxes[iObj] > 0;        } 
+static inline int          Gia_ObjIsMuxId( Gia_Man_t * p, int iObj )           { return p->pMuxes && p->pMuxes[iObj] > 0;        } 

panther03

diff --git a/src/base/io/ioReadEqn.c b/src/base/io/ioReadEqn.c
index 1e4f5d46..e3349ed4 100644
--- a/src/base/io/ioReadEqn.c
+++ b/src/base/io/ioReadEqn.c
@@ -154,7 +154,7 @@ Abc_Ntk_t * Io_ReadEqnNetwork( Extra_FileReader_t * p )
                 // make a copy of formula for names
                 pFormulaCopy = Extra_UtilStrsav( pFormula );
                 // find the names of the fanins of this node
-                Io_ReadEqnStrCutAt( pFormulaCopy, "!*+()", 1, vVars );
+                Io_ReadEqnStrCutAt( pFormulaCopy, "!*^+()", 1, vVars );