View: session overviewtalk overview
10.20 – 10.40 Keynote: Dr. Yervant Zorian - President, Synopsys Armenia
|
| 16:00 | Path-planning simulation for logistic robotic workspaces ABSTRACT. The proposed paper examines the application of robotics in logistics systems, with a particular focus on path‑planning methods. Drawing on twenty recent studies, it explores classical algorithms such as A* and Dijkstra, sampling‑based approaches like RRT*-Connect, chaotic models using logistic maps, and advanced AI‑driven techniques including transformer‑GCN integrations. The analysis highlights strengths and limitations of each method, from reliability and transparency to adaptability and scalability. Special attention is given to multi‑robot coordination, ROS‑based frameworks, and vision‑driven navigation. The study concludes that hybrid models combining classical robustness with AI adaptability represent the most promising direction for future logistics robotics. |
| 16:15 | Spatial Index Performance Comparison for Connectivity Tracing in Static VLSI Layouts PRESENTER: Ran Zhang ABSTRACT. The evolution of advanced process technologies has driven continuous growth in the scale of very large-scale integration (VLSI) layouts. The massive number of geometric objects imposes significant computational performance bottlenecks on traditional physical verification methods. A large number of spatial relationship queries among layout objects further increase the computational overhead, making geometric query efficiency a critical factor in large-scale layout analysis. To address this issue, this paper presents a comparative analysis of six spatial index structures---prefix scan, quadtree, sweep-line interval tree, quadratic-split R-tree, incrementally inserted R*-tree, and bulk-loaded R*-tree---within a unified parallel connectivity-tracing framework. Experiments are conducted on three industrial layouts of different scales, ranging from 63.7~MB to 5.42~GB, with build time, query time, and peak memory measured under an 8-thread parallel environment. The results show that all six indexes produce consistent geometric connectivity-tracing results. On the largest 5.42~GB layout, the bulk-loaded R*-tree achieves a build time of 5.11~s, a query time of 20.2~s, and a peak memory of 15.70~GB, demonstrating favorable overall performance under the test settings of this paper. The results indicate that for static, large-scale, read-only VLSI layout tracing tasks, the bulk-loaded R*-tree achieves a favorable balance among build cost, query efficiency, and memory consumption. |
| 16:30 | Machine Learning-Assisted Design of Electromagnetic Systems PRESENTER: Arsen Hovhannisyan ABSTRACT. This paper investigates the application of supervised machine learning methods to the design of electromagnetic systems. Two types of electromagnetic devices are considered: a straight-armature electromagnet and an electromagnetic brake incorporating magnetorheological (MR) fluid. Computational databases containing 999,959 and 642,600 unique design configurations, respectively, were generated using previously developed automated design systems. These databases were used to train and evaluate classification and regression models. Classification models were developed to assess device operability based on the permissible control-coil temperature. For the straight-armature electromagnet, the Decision Tree Classifier achieved a training-set accuracy of 99.9974%, while for the MR-fluid electromagnetic brake, the Random Forest Classifier achieved 99.9872%. Regression models were developed to predict the main design and operating parameters of the investigated devices. The MLP Regressor provided the best reported performance for the straight-armature electromagnet, while the Gradient Boosting Regressor performed best for the MR-fluid electromagnetic brake. For the straight-armature electromagnet, the average prediction time was 0.0003 s, approximately 400 times shorter than the corresponding conventional calculation time. The results demonstrate the potential of machine learning methods to accelerate electromagnetic design calculations through operability assessment and parameter prediction within the investigated computational datasets. |
| 16:45 | Parametric Analysis of Nonuniform Winding Distribution in a Lifting Electromagnet PRESENTER: Arsen Hovhannisyan ABSTRACT. This paper investigates the influence of nonuniform winding distribution of a control coil on the magnetic characteristics of a lifting electromagnet using a distributed magnetomotive-force magnetic equivalent circuit model. The previously developed model is extended by introducing a generalized representation in which the local magnetomotive force is determined by the local number of winding turns. Uniform, linear-gradient, centered localized, and spatially shifted localized winding distributions are considered within a unified parametric framework. The effects of the magnitude, width, and position of winding nonuniformity are evaluated at low, nominal, and saturation-sensitive magnetic loading levels. The results show that the electromagnetic response depends strongly on both the spatial pattern and the location of the winding redistribution. Linear turn-density gradients produce the largest variations, with the maximum relative change in the required total magnetomotive force increasing from approximately 0.24 percent at low loading to 0.50 percent at the nominal operating point and 0.71 percent under saturation-sensitive conditions. The maximum local flux-density deviation reaches approximately 1.52 percent. Shifted localized nonuniformities also show pronounced position-dependent effects, whereas centered localized variations and changes in their width have substantially smaller influence. The results demonstrate that relatively small changes in the total excitation requirement may coexist with more pronounced local magnetic-field redistribution and that both global and local magnetic quantities should be considered when assessing winding nonuniformity. |
| 17:00 | How Strong Are the Reference Testbenches of VerilogEval v2 and RTLLM v2.0? A Mutation-Based Audit PRESENTER: Kumarasenthil Muthuvel ABSTRACT. The two most used benchmarks for LLM-based Verilog generation, VerilogEval v2 and RTLLM v2.0, score a generated design by running the benchmark's own reference testbench. We audit those testbenches without using any model output. For each of 179 designs we synthesize the reference implementation with Yosys, inject up to ten single-cell netlist mutations, remove the 127 mutants that are formally equivalent to the reference, and measure the kill rate of the reference testbench on the remaining 1,643 valid mutants. The pooled kill rate is 94.7 percent (95 percent CI 93.5 to 95.7); 81.6 percent of testbenches (75.2 to 86.6) kill every mutant and 3.4 percent (1.5 to 7.1) kill fewer than half. The corpora differ sharply: 89.4 percent of VerilogEval testbenches are complete against 51.4 percent of RTLLM testbenches, and RTLLM sequential designs are weakest (45.8 percent complete, mean kill rate 0.80). Testbench strength falls with design size (rank correlation negative 0.26) and is lower for sequential than for combinational designs. We also audit reference hygiene: 12 of 206 loaded items fail a self-check, among them two RTLLM references that fail their own testbench and one VerilogEval testbench that connects ports its reference lacks. Under the single-fault model, a testbench pass would accept a faulty design 5.2 percent of the time (3.3 to 7.4) overall and 16.5 percent (9.8 to 23.7) on RTLLM. |
| 17:15 | Probabilistic Spin-Logic Implementations of AES S-Boxes: Enhancing Security Against Differential Power Analysis ABSTRACT. The Advanced Encryption Standard (AES) is ubiquitous, widely used in all kinds of secure embedded systems, from Internet of Things (IoT) devices to leading processors. The security of AES is under serious threat from side-channel attacks (SCA), in particular differential power analysis (DPA). The power consumption pattern of standard complementary metal-oxide-semiconductor (CMOS) submodules is consistent with sensitive data and is therefore predictable. This work proposes a hardware-level protection mechanism designed for Probabilistic Spin Logic (PSL). It introduces physical randomness into the calculations by replacing deterministic S-boxes with stochastic modules based on p-bits. This paper compares traditional approaches with the proposed new design, focusing on the analysis of the most important parameters. |
| 17:30 | Automated Detection of Logical Anomalies in Network Access Control Lists: A Set-Theoretic Approach ABSTRACT. Access control lists (ACLs) remain the dominant packet-filtering mechanism in enterprise networks, yet their first match, top-down evaluation semantics makes them structurally prone to logical anomalies that no router reports at configuration time. This paper presents a set-theoretic model of Cisco IOS extended ACLs together with a lightweight, dependency-free static analyser that detects shadowing and redundancy anomalies directly from unmodified show access-lists output. Each rule is treated as a hyperrectangle in the five-dimensional packet header space, and anomaly classification is reduced to a pairwise containment test combined with an action comparison. Ground truth is computed exactly, by subtracting all preceding rules from each rule's match set, rather than taken from the author's intent. On a 15-rule policy deployed on a three-zone Cisco Packet Tracer topology, the analyser finds all nine unreachable rules, whereas a baseline that ignores transport-layer ports reports three spurious rule pairs, one of which would delete a live SSH rule. On a benchmark of 600 synthetic policies of 50 to 2000 rules containing 54 933 unreachable rules, the port-aware analyser attains a precision of 1.00 at every size, against 0.59 for the port-agnostic projection; its recall of 0.93 measures the rules that are unreachable only through a union of predecessors. A 2000-rule policy is analysed in about 1.1 s. We position the analyser against Batfish, header space analysis and VeriFlow: it trades completeness for zero dependencies and direct auditability of device output. Correlation and generalisation anomalies are outside the present scope. |
| 17:45 | A Standalone ESP32-Based NFC Terminal for Platform-Independent Integration: Hardware Architecture, Non-Blocking Firmware, and Field Deployment ABSTRACT. Card-based identification underlies access control, working-time recording and many related applications, yet reader terminals are commonly bound to a particular software platform. This paper describes the design, analysis and field deployment of a standalone NFC terminal based on the ESP32 microcontroller that can be attached to an arbitrary server. The terminal combines a PN532 reader, a W5500 Ethernet controller, an ILI9341 display and an RGB indicator, and exposes two open interfaces: a local HTTP API for discovery, provisioning, diagnostics and signed firmware updates, and an outbound HTTPS request whose response is rendered on the display. The firmware is organized as five Free RTOS tasks with exclusive ownership of each peripheral driver, which keeps the user interface responsive while the server is slow. We analyse the card latch that maps a physical card presentation to a single server request and derive a closed-form expression for the duplicate request rate, which agrees with a discrete-event simulation to within 3.5% for rates above 40 per hour. A conventional consecutive-miss latch discards a card presented within 765 ms of the preceding one; the UID-aware latch adopted in the firmware removes this loss while making identical decisions for a single card, as verified over 8×10exp6 randomized steps. Three terminals have been in operation for approximately eighteen months at a construction company and two supermarkets, where they serve 80 employees. |
| 18:00 | Iterative Algorithm for a Nonlocal Contact Problem for the Modified Helmholtz Equation ABSTRACT. A nonlocal contact problem for the modified Helmholtz equation is considered in a rectangle divided by a contact line into two subdomains. Only continuity of the solution is required on the contact line, so the normal derivative may have a jump there, and the values of the solution on the contact line are related by a nonlocal condition of Bitsadze--Samarskii type to its values on two interior lines. A computational algorithm is proposed in which an outer iterative process reduces the problem to a sequence of independent Dirichlet problems in the subdomains. These problems are approximated by finite difference schemes on a grid aligned with the contact line and the lines of the nonlocal condition and are solved by the successive over-relaxation method with Chebyshev acceleration. The algorithm is implemented in Mathcad. A numerical experiment on a model problem with a jump of the normal derivative on the contact line shows second-order convergence both in the whole domain and on the contact line, and the number of outer iterations is practically independent of the mesh size. |