Showing 1–10 of 10 results for author: Pula, K

Word-Level Structure Identification In FPGA Designs Using Cell Proximity Information

Authors: Aparajithan Nathamuni-Venkatesan, Ram-Venkat Narayanan, Kishore Pula, Sundarakumar Muthukumaran, Ranga Vemuri

Abstract: Reverse engineering of FPGA based designs from the flattened LUT level netlist to high level RTL helps in verification of the design or in understanding legacy designs. We focus on flattened netlists for FPGA devices from Xilinx 7 series and Zynq 7000. We propose a design element grouping algorithm that makes use of the location information of the elements on the physical device after place and ro… ▽ More Reverse engineering of FPGA based designs from the flattened LUT level netlist to high level RTL helps in verification of the design or in understanding legacy designs. We focus on flattened netlists for FPGA devices from Xilinx 7 series and Zynq 7000. We propose a design element grouping algorithm that makes use of the location information of the elements on the physical device after place and route. The proposed grouping algorithm gives clusters with average NMI of 0.73 for groupings including all element types. The benchmarks chosen include a range of designs from communication, arithmetic units, processors and DSP processing units. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: Paper accepted into proceedings of VLSID2023 conference

Reverse Engineering Word-Level Models from Look-Up Table Netlists

Authors: Ram Venkat Narayanan, Aparajithan Nathamuni Venkatesan, Kishore Pula, Sundarakumar Muthukumaran, Ranga Vemuri

Abstract: Reverse engineering of FPGA designs from bitstreams to RTL models aids in understanding the high level functionality of the design and for validating and reconstructing legacy designs. Fast carry-chains are commonly used in synthesis of operators in FPGA designs. We propose a method to detect word-level structures by analyzing these carry-chains in LUT (Look-Up Table) level netlists. We also prese… ▽ More Reverse engineering of FPGA designs from bitstreams to RTL models aids in understanding the high level functionality of the design and for validating and reconstructing legacy designs. Fast carry-chains are commonly used in synthesis of operators in FPGA designs. We propose a method to detect word-level structures by analyzing these carry-chains in LUT (Look-Up Table) level netlists. We also present methods to adapt existing techniques to identify combinational operations and sequential modules in ASIC netlists to LUT netlists. All developed and adapted techniques are consolidated into an integrated tool-chain to aid in reverse engineering of word-level designs from LUT-level netlists. When evaluated on a set of real-world designs, the tool-chain infers 34\% to 100\% of the elements in the netlist to be part of a known word-level operation or a known sequential module. △ Less

Submitted 5 March, 2023; originally announced March 2023.

Comments: 8 pages, 6 figures, Accepted to appear in ISQED 2023 conference

Small Latin arrays have a near transversal

Authors: Darcy Best, Kyle Pula, Ian M. Wanless

Abstract: A Latin array is a matrix of symbols in which no symbol occurs more than once within a row or within a column. A diagonal of an $n\times n$ array is a selection of $n$ cells taken from different rows and columns of the array. The weight of a diagonal is the number of different symbols on it. We show via computation that every Latin array of order $n\le11$ has a diagonal of weight at least $n-1$. A… ▽ More A Latin array is a matrix of symbols in which no symbol occurs more than once within a row or within a column. A diagonal of an $n\times n$ array is a selection of $n$ cells taken from different rows and columns of the array. The weight of a diagonal is the number of different symbols on it. We show via computation that every Latin array of order $n\le11$ has a diagonal of weight at least $n-1$. A corollary is the existence of near transversals in Latin squares of these orders. More generally, for all $k\le20$ we compute a lower bound on the order of any Latin array that does not have a diagonal of weight at least $n-k$. △ Less

Submitted 5 May, 2021; v1 submitted 13 November, 2019; originally announced November 2019.

MSC Class: 05B15

Journal ref: J. Combin. Des. 29 (2021), 511-527

Conditional Generative Adversarial Networks for Data Augmentation and Adaptation in Remotely Sensed Imagery

Authors: Jonathan Howe, Kyle Pula, Aaron A. Reite

Abstract: The difficulty in obtaining labeled data relevant to a given task is among the most common and well-known practical obstacles to applying deep learning techniques to new or even slightly modified domains. The data volumes required by the current generation of supervised learning algorithms typically far exceed what a human needs to learn and complete a given task. We investigate ways to expand a g… ▽ More The difficulty in obtaining labeled data relevant to a given task is among the most common and well-known practical obstacles to applying deep learning techniques to new or even slightly modified domains. The data volumes required by the current generation of supervised learning algorithms typically far exceed what a human needs to learn and complete a given task. We investigate ways to expand a given labeled corpus of remote sensed imagery into a larger corpus using Generative Adversarial Networks (GANs). We then measure how these additional synthetic data affect supervised machine learning performance on an object detection task. Our data driven strategy is to train GANs to (1) generate synthetic segmentation masks and (2) generate plausible synthetic remote sensing imagery corresponding to these segmentation masks. Run sequentially, these GANs allow the generation of synthetic remote sensing imagery complete with segmentation labels. We apply this strategy to the data set from ISPRS' 2D Semantic Labeling Contest - Potsdam, with a follow on vehicle detection task. We find that in scenarios with limited training data, augmenting the available data with such synthetically generated data can improve detector performance. △ Less

Submitted 10 August, 2019; originally announced August 2019.

Incidence properties of cosets in loops

Authors: Michael Kinyon, Kyle Pula, Petr Vojtechovsky

Abstract: We study incidence properties among cosets of finite loops, with emphasis on well-structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a finite loop. We show that i… ▽ More We study incidence properties among cosets of finite loops, with emphasis on well-structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a finite loop. We show that in the variety of antiautomorphic loops the poset formed by set inclusion among intersections of left cosets is isomorphic to that formed by right cosets. We present an algorithm that, given a finite Bol loop $S$, can in some cases determine whether $|S|$ divides $|Q|$ for all finite Bol loops $Q$ with $S \le Q$, and even whether there is a selection of left cosets of $S$ that partitions $Q$. This method results in a positive confirmation of Lagrange's Theorem for Bol loops for a few new cases of subloops. Finally, we show that in a left automorphic Moufang loop $Q$ (in particular, in a commutative Moufang loop $Q$), two left cosets of $S\le Q$ are either disjoint or they intersect in a set whose cardinality equals that of some subloop of $S$. △ Less

Submitted 15 December, 2011; v1 submitted 18 August, 2011; originally announced August 2011.

Comments: 17 pages, to appear in J. Combinatorial Design; V.2: minor changes suggested by referee; V3: final version, more minor changes

MSC Class: 05B05; 20N05

Journal ref: J. Combinatorial Designs 20 (2012), 161-197

Powers of Elements in Jordan Loops

Authors: Kyle Pula

Abstract: A Jordan loop is a commutative loop satisfying the Jordan identity $(x^2 y) x = x^2 (y x)$. We establish several identities involving powers in Jordan loops and show that there is no nonassociative Jordan loop of order $9$. A Jordan loop is a commutative loop satisfying the Jordan identity $(x^2 y) x = x^2 (y x)$. We establish several identities involving powers in Jordan loops and show that there is no nonassociative Jordan loop of order $9$. △ Less

Submitted 4 August, 2010; originally announced August 2010.

Comments: 7 pages, 3 figures

MSC Class: 20N05

Journal ref: Commentationes Mathematicae Universitatis Carolinae, Volume 49(2), pp 291-299. 2008

Products of all elements in a loop and a framework for non-associative analogues of the Hall-Paige conjecture

Authors: Kyle Pula

Abstract: For a finite loop $Q$, let $P (Q)$ be the set of elements that can be represented as a product containing each element of $Q$ precisely once. Motivated by the recent proof of the Hall-Paige conjecture, we prove several universal implications between the following conditions: (A) $Q$ has a complete mapping, i.e. the multiplication table of $Q$ has a transversal, (B) there is no $N \normal Q$ such t… ▽ More For a finite loop $Q$, let $P (Q)$ be the set of elements that can be represented as a product containing each element of $Q$ precisely once. Motivated by the recent proof of the Hall-Paige conjecture, we prove several universal implications between the following conditions: (A) $Q$ has a complete mapping, i.e. the multiplication table of $Q$ has a transversal, (B) there is no $N \normal Q$ such that $|N|$ is odd and $Q/N \cong \ZZ_{2^m}$ for $m \geq 1$, and (C) $P(Q)$ intersects the associator subloop of $Q$. We prove $(A) \implies (C)$ and $(B) \iff (C)$ and show that when $Q$ is a group, these conditions reduce to familiar statements related to the Hall-Paige conjecture (which essentially says that in groups $(B) \implies (A))$. We also establish properties of $P(Q)$, prove a generalization of the Dénes-Hermann theorem, and present an elementary proof of a weak form of the Hall-Paige conjecture. △ Less

Submitted 4 August, 2010; originally announced August 2010.

Comments: 15 pages, 2 figures

MSC Class: 05B15; 20N05

Journal ref: Electronic Journal of Combinatorics, Volume 16(1). May 2009

A Generalization of Plexes of Latin Squares

Authors: Kyle Pula

Abstract: A $k$-plex of a latin square is a collection of cells representing each row, column, and symbol precisely $k$ times. The classic case of $k=1$ is more commonly known as a transversal. We introduce the concept of a $k$-weight, an integral weight function on the cells of a latin square whose row, column, and symbol sums are all $k$. We then show that several non-existence results about $k$-plexes ca… ▽ More A $k$-plex of a latin square is a collection of cells representing each row, column, and symbol precisely $k$ times. The classic case of $k=1$ is more commonly known as a transversal. We introduce the concept of a $k$-weight, an integral weight function on the cells of a latin square whose row, column, and symbol sums are all $k$. We then show that several non-existence results about $k$-plexes can been seen as more general facts about $k$-weights and that the weight-analogues of several well-known existence conjectures for plexes actually hold for $k$-weights. △ Less

Submitted 1 August, 2010; originally announced August 2010.

MSC Class: 05B15

Gallai Multigraphs

Authors: Kyle Pula

Abstract: A complete edge-colored graph or multigraph is called Gallai if it lacks rainbow triangles. We give a construction of all finite Gallai multigraphs. A complete edge-colored graph or multigraph is called Gallai if it lacks rainbow triangles. We give a construction of all finite Gallai multigraphs. △ Less

Submitted 30 June, 2007; originally announced July 2007.

Comments: 16 pages, 5 figures

MSC Class: 05C15; 05C55

Admissible orders of Jordan loops

Authors: Michael K. Kinyon, Kyle Pula, Petr Vojtechovsky

Abstract: A commutative loop is Jordan if it satisfies the identity $x^2 (y x) = (x^2 y) x$. Using an amalgam construction and its generalizations, we prove that a nonassociative Jordan loop of order $n$ exists if and only if $n\geq 6$ and $n\neq 9$. We also consider whether powers of elements in Jordan loops are well-defined, and we construct an infinite family of finite simple nonassociative Jordan loop… ▽ More A commutative loop is Jordan if it satisfies the identity $x^2 (y x) = (x^2 y) x$. Using an amalgam construction and its generalizations, we prove that a nonassociative Jordan loop of order $n$ exists if and only if $n\geq 6$ and $n\neq 9$. We also consider whether powers of elements in Jordan loops are well-defined, and we construct an infinite family of finite simple nonassociative Jordan loops. △ Less

Submitted 24 January, 2008; v1 submitted 23 May, 2007; originally announced May 2007.

Comments: 15 pages. V2: final version with small changes suggested by referee, to appear in J. Combinatorial Design

MSC Class: 20N05

Journal ref: J. Combinatorial Designs 17 (2009), no. 2, 103-118