Name
Abstract | ||
|---|---|---|
A linear algebraic method is developed that allows for logic network justification problems to be solved. The method differs from previous techniques that require learning or solution space search techniques in that all possible justification solutions are determined through a single vector-matrix product calculation. The logic network is represented by a matrix that is defined as the "justification" matrix. It is shown that the justification matrix is simply the transpose of the network transfer matrix and is thus easily obtained through a traversal of the network netlist. Example justification calculations are provided. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/ISMVL.2013.57 | ISMVL |
Keywords | Field | DocType |
single vector-matrix product calculation,example justification calculation,linear algebraic method,logic network,network transfer matrix,logic network justification problem,network netlist,ternary logic network justification,possible justification solution,transfer matrices,justification matrix,previous technique,logic gates,mathematical model,transfer function,vectors,computational modeling,switches | Algebraic sentence,Discrete mathematics,Second-order logic,Transpose,Computer science,Logic optimization,Matrix (mathematics),Substructural logic,Zeroth-order logic,Algorithm,Intermediate logic | Conference |
ISSN | Citations | PageRank |
0195-623X | 1 | 0.44 |
References | Authors | |
4 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mitchell A. Thornton | 1 | 280 | 40.94 |
| Jennifer L. Dworak | 2 | 1 | 0.44 |