In high-performance printed circuit boards (PCBs), adding serpentine delay lines is the most prevalent delay-matching technique to balance the delays of time-critical signals. Serpentine topology, however, can induce ...
详细信息
ISBN:
(纸本)9781450399784
In high-performance printed circuit boards (PCBs), adding serpentine delay lines is the most prevalent delay-matching technique to balance the delays of time-critical signals. Serpentine topology, however, can induce simultaneous accumulation of the crosstalk noise, resulting in erroneous logic gate triggering and speed-up effects. The state-of-the-art approach for crosstalk alleviation achieves waveform integrity by enlarging wire separation, resulting in an increased routing area. We introduce a method that adopts spiral delay lines for delay matching to mitigate the speed-up effect by spreading the crosstalk noise uniformly in time. Our method avoids possible routing congestion while achieving a high density of transmission lines. We implement our method by constructing a mixed-integer-linear programming (MILP) model for routing and a quadratic programming (QP) model for spiral synthesis. Experimental results demonstrate that our method requires, on average, 31% less routing area than the original design. In particular, compared to the state-of-the-art approach, our method can reduce the magnitude of the crosstalk noise by at least 69%.
The proceedings contain 15 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: The Scenic Route to Deforestation: An Exercise in Applying Parametrici...
ISBN:
(纸本)9783031849237
The proceedings contain 15 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: The Scenic Route to Deforestation: An Exercise in Applying Parametricity in Curry;MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs;SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic;a Practical Approach to Handling Tabular Data in logic;automated Playing of Survival Video Games with Commonsense Reasoning;checking Concurrency Coding Rules;A Weighted Bipolar Argumentation Framework and Its ASP-Based Implementation;haskell Based Spreadsheets;Leveraging LLM Reasoning with Dual Horn Programs;ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia;Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination;c3G: Causally Constrained Counterfactual Generation;exploring Answer Set programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach.
The proceedings contain 19 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: From Starvation Freedom to All-Path Reachability Problems in Cons...
ISBN:
(纸本)9783031248405
The proceedings contain 19 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting;switchLog: A logicprogramming Language for Network Switches;linear Algebraic Abduction with Partial Evaluation;Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL;solving Vehicle Equipment Specification Problems with Answer Set programming;UAV Compliance Checking Using Answer Set programming and Minimal Explanations Towards Compliance (Application Paper);jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set programming;pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling;automatic Rollback Suggestions for Incremental Datalog Evaluation;program Synthesis Using Example Propagation;embedding Functional logicprogramming in Haskell via a Compiler Plugin;execution Time Program Verification with Tight Bounds;fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper);flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set programming (Application Paper);Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper);dynamic Slicing of Reaction Systems Based on Assertions and Monitors;multiple Query Satisfiability of Constrained Horn Clauses.
The proceedings contain 12 papers. The topics discussed include: a monadic implementation of functional logic programs;ASP-based multi-shot reasoning via DLV2 with incremental grounding;contextual equivalence in a pro...
ISBN:
(纸本)9781450397032
The proceedings contain 12 papers. The topics discussed include: a monadic implementation of functional logic programs;ASP-based multi-shot reasoning via DLV2 with incremental grounding;contextual equivalence in a probabilistic call-by-need lambda-calculus;nominal matching logic;a logic for formalizing properties of LF specifications;a predicate construct for declarative programming in imperative languages;a typed lambda calculus with gradual intersection types;user guided abductive proof generation for answer set programming queries;certified derivation of small-step from big-step skeletal semantics;and session types revisited: a decade later.
The proceedings contain 13 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: Ontological Reasoning over Shy and Warded Datalog+/– for Streami...
ISBN:
(纸本)9783031520372
The proceedings contain 13 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: Ontological Reasoning over Shy and Warded Datalog+/– for Streaming-Based Architectures;explanation and Knowledge Acquisition in Ad Hoc Teamwork;automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs;asynchronous Reactive programming with Modal Types in Haskell;FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability;marketplace Logistics via Answer Set programming;rhyme: A Data-Centric Expressive Query Language for Nested Data Structures;rethinking Answer Set programming Templates;cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic;A Direct ASP Encoding for Declare;using logicprogramming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks.
This paper introduces a new way to perform space syntax analyses using Prolog, a logicprogramming language concerned with Artificial Intelligence. Developed in the 1970’s to process natural languages, Prolog can dea...
详细信息
Complex Event Recognition (CER) systems detect event occurrences in streaming input using predefined event patterns. Techniques that learn event patterns from data are highly desirable in CER. Since such patterns are ...
详细信息
The proceedings contain 8 papers. The special focus in this conference is on logic-Based Program Synthesis and Transformation. The topics include: Typed SLD-Resolution: Dynamic Typing for logicprogramming;on Cor...
ISBN:
(纸本)9783031167669
The proceedings contain 8 papers. The special focus in this conference is on logic-Based Program Synthesis and Transformation. The topics include: Typed SLD-Resolution: Dynamic Typing for logicprogramming;on Correctness of Normal logic Programs;preface;analysing Parallel Complexity of Term Rewriting;Confluence Framework: Proving Confluence with CONFident;variant-Based Equational Anti-unification.
We present the design values and design principles of the Flix programming language, a functional-first, imperative, and logicprogramming language. We explain how these values and principles came into being and how t...
详细信息
ISBN:
(纸本)9781450399098
We present the design values and design principles of the Flix programming language, a functional-first, imperative, and logicprogramming language. We explain how these values and principles came into being and how they have influenced the design of Flix over the last several years. The principles cover most facets of the Flix language and its ecosystem, including its syntax, semantics, static type and effect system, and standard library. We present each principle in detail, including its origin, rationale, and how it has shaped Flix. We believe that codifying a language's design values and principles can serve as a powerful medium for discussing and comparing programming language designs and we hope our presentation will inspire future language designers to document their languages' design values and principles.
暂无评论